path: root/kernel/include/log.h

int log_putchar(char);
int log_puts(const char*);
void log(const char*, ...);