path: root/include/kernel/log.h

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