#ifndef _JOVE_SYSCALL_H
#define _JOVE_SYSCALL_H 1

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

enum
{
    SYSCALL_NONE = 0,
    SYSCALL_INVOKE,
    SYSCALL_SEND,
    SYSCALL_RECV,

    SYSCALL_DEBUG_PUTC,
    SYSCALL_DEBUG_IDENTIFY
};

typedef uint16_t invokeid_t;

struct syscallInvokeHeader
{
    obj_path_t target_path;
    invokeid_t func_id;
};

enum
{
    INVOKE_OBJDIR_NMEMB = 0,
    INVOKE_OBJDIR_GETMEMB
};

struct syscallInvoke_objdir_nmemb
{
    struct syscallInvokeHeader header;
    size_t value;
};

struct syscallInvoke_objdir_getmemb
{
    struct syscallInvokeHeader header;
    uint8_t member;
    obj_type_t value;
};

#endif