#include <syscall.h>
#include <kernel/syscall.h>
#include <jove.h>

int
_syscall_invoke(void)
{
    register uint64_t box  asm ("rdi") = __jove_syscall_obj;
    register uint64_t call asm ("rsi") = SYSCALL_INVOKE;

    int status = 0;
    __asm__ volatile("syscall": "=a"(status) :: "memory");
    return status;
}