#ifndef _JOVE_ARCH_SYS_SYSCALL_H
#define _JOVE_ARCH_SYS_SYSCALL_H 1

#include "sys/syscall.h"

int
_syscall_handle_serial(
        jove_owned_obj_t *pcb_obj,
        jove_owned_obj_t *objdir,
        jove_owned_obj_t *message_obj,
        jove_owned_obj_t *target_obj,
        struct syscall_header *header,
        size_t bytes_left,
        void *payload);
struct syscall_serial_write
{
    size_t len;
    char data[];
};

#define SYSCALL_SERIAL_COM_WRITE 0

#endif