diff options
Diffstat (limited to 'src/arch/i386/lib/printk_init.c')
| -rw-r--r-- | src/arch/i386/lib/printk_init.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/arch/i386/lib/printk_init.c b/src/arch/i386/lib/printk_init.c index f0ad2551bb..dd4672736b 100644 --- a/src/arch/i386/lib/printk_init.c +++ b/src/arch/i386/lib/printk_init.c @@ -18,6 +18,7 @@ */ #include <stdarg.h> +#include <console/console.h> #include <console/vtxprintf.h> #include <console/loglevel.h> #include <uart8250.h> @@ -32,9 +33,6 @@ int console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL; #define console_loglevel CONFIG_DEFAULT_CONSOLE_LOGLEVEL #endif -void console_tx_byte(unsigned char byte); -int do_printk(int msg_level, const char *fmt, ...); - void console_tx_byte(unsigned char byte) { if (byte == '\n') |