8 void terminal_putchar(int ch);
9 int printk(const char *fmt, ...);
10 void klog(int level, const char *fmt, ...);
11 void panic(const char *fmt, ...);
12 int printkv(const char *fmt, va_list ap);
14 void *memmove(void *s1, const void *s2, size_t n);
17 void halt(); /* this will return after a ret, waitforinterrupt() might be better */