#ifndef _JOVE_API_SYSCALL_H
#define _JOVE_API_SYSCALL_H 1

#include <stddef.h>
#include <stdint.h>

#include "obj.h"

struct syscall_header
{
    uint16_t callid;
    uint16_t pathlen;
    objpath_part_t path[];
};

struct syscall_generic_write
{
    size_t len;
    char data[];
};

struct syscall_generic_objpath
{
    uint16_t pathlen;
    objpath_part_t path[];
};

#define SYSCALL_UNTYPED_SIZE 0
#define SYSCALL_UNTYPED_ALIGN 1

#define SYSCALL_UNTYPED_RETYPE 2
struct syscall_untyped_retype
{
    uint16_t newtype;
};

#define SYSCALL_UNTYPED_SPLIT 3
#define SYSCALL_UNTYPED_MERGE 4
struct syscall_untyped_split
{
    size_t bytes;
    uint16_t dest_pathlen;
    objpath_part_t dest_path[];
};

#define SYSCALL_OBJDIR_OBJTYPE 0

#define SYSCALL_VTT_WRITE 0

#endif