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

void
_syscall_debug_putc(char c)
{
    *((char*)__jove_syscall_ptr) = c;
    register uint64_t box  asm ("rdi") = __jove_syscall_obj;
    register uint64_t call asm ("rsi") = SYSCALL_DEBUG_PUTC;

    __asm__ volatile("syscall"::: "memory");
}