path: root/kernel/kprintf.h

#include <stdarg.h>

void kprintf(const char* str, ...);