os/kernel/kprintf.h

7 lines
90 B
C

#ifndef KPRINTF_HEADER
#define KPRINTF_HEADER 1
void kprintf(char *format, ...);
#endif