1 2 3 4 5 6 7 8 9
#ifndef KERNEL_IO_H #define KERNEL_IO_H #include <stdarg.h> int vkprintf(const char *fmt, va_list args); int kprintf(const char *fmt, ...); #endif