lib/libjove/include/jove.h


1
2
3
4
5
6
7
8
9
10
11
12
13

#ifndef _LIBJOVE_JOVE_H
#define _LIBJOVE_JOVE_H 1

#include <stdint.h>

extern uintmax_t _syscall_message_box;
extern void *_syscall_message_ptr;

void libjove_init(uintmax_t box, void *boxptr);

void jove_kprintf(const char *restrict fmt, ...);

#endif