#ifndef _JOVE_SYS_SYSCALL_H
#define _JOVE_SYS_SYSCALL_H 1

#include "api/syscall.h"
#include "hal/obj.h"
#include <stdint.h>

#define CHECK_TOOSMALL(required, present, fail_msg) \
    do { if(present < required) { \
        kprintf("%s: %s\n", __func__, fail_msg); \
        return -ETOOSMALL; \
    } } while(0)

#define CHECK_OBJEXISTS(obj, fail_msg) \
do { if(obj == NULL) { \
    kprintf("%s: %s\n", __func__, fail_msg); \
    return -EBADOBJ; \
} } while(0)

#define CHECK_OBJTYPE(obj, type, fail_msg) \
    do { if(obj_gettype(obj) != type) { \
        kprintf("%s: %s\n", __func__, fail_msg); \
        obj_release(obj); \
        return -EBADOBJ; \
    } } while(0)

#define SYSCALL_FUNCTION_ARGS \
        jove_owned_obj_t*, /*PCB object*/ \
        jove_owned_obj_t*, /*Objdir object*/ \
        jove_owned_obj_t*, /*Message object*/ \
        jove_owned_obj_t*, /*Target object*/ \
        struct syscall_header*, /*Syscall header*/ \
        size_t, /*How many bytes are left in the message*/ \
        void* /*The bytes left in the message.*/

typedef int (*syscall_handle_t)(SYSCALL_FUNCTION_ARGS);

int __syscall_generic_objpath(jove_owned_obj_t *objdir, size_t bytes_left, void *payload_data, jove_owned_obj_t **retobj);

int _syscall_handle_generic(SYSCALL_FUNCTION_ARGS);
int _syscall_handle_arch(SYSCALL_FUNCTION_ARGS);

int _syscall_handle_vtt(SYSCALL_FUNCTION_ARGS);
int _syscall_handle_objdir(SYSCALL_FUNCTION_ARGS);
int _syscall_handle_untyped(SYSCALL_FUNCTION_ARGS);
int _syscall_handle_pagedir(SYSCALL_FUNCTION_ARGS);

#endif