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

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

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