#ifndef KERNEL_H_
#define KERNEL_H_

#include <stdint.h>
#include <stdarg.h>
#include <stddef.h>

void terminal_putchar(int ch);
int printk(const char *fmt, ...);
void klog(int level, const char *fmt, ...);
void panic(const char *fmt, ...);
int printkv(const char *fmt, va_list ap);

void *memmove(void *s1, const void *s2, size_t n);

/* in bootz.s */
void halt(); /* this will return after a ret, waitforinterrupt() might be better */
void allstop();

#endif