diff options
Diffstat (limited to 'extras/mini-os/include/lib.h')
| -rw-r--r-- | extras/mini-os/include/lib.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 0bf458565c..7631349faf 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -56,13 +56,10 @@ #define _LIB_H_ #include <stdarg.h> - +#include <console.h> /* printing */ -#define printk printf -#define kprintf printf #define _p(_x) ((void *)(unsigned long)(_x)) -void printf(const char *fmt, ...); int vsnprintf(char *buf, size_t size, const char *fmt, va_list args); int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); int snprintf(char * buf, size_t size, const char *fmt, ...); |