1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
#include <syscall.h> /** * DEFINITIONS */ DEFN_SYSCALL0(halt, 0); DEFN_SYSCALL1(exec, 1, char *); DEFN_SYSCALL1(putch, 2, char *); DEFN_SYSCALL0(scancode, 3); DEFN_SYSCALL1(malloc, 4, u32); DEFN_SYSCALL1(free, 5, u32); DEFN_SYSCALL0(pointers, 6);