#include "include/jove.h"

uintmax_t _syscall_message_box = 0;
void *_syscall_message_ptr = 0;

void
libjove_init(uint64_t box, void *boxptr)
{
    _syscall_message_box = box;
    _syscall_message_ptr = boxptr;
}