diff options
Diffstat (limited to 'src/console/printk.c')
| -rw-r--r-- | src/console/printk.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index f4157a7b00..3b1ae24ec1 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -7,6 +7,7 @@ #include <stdarg.h> #include <smp/spinlock.h> +#include <console/vtxprintf.h> #include <console/console.h> /* printk's without a loglevel use this.. */ @@ -22,9 +23,6 @@ int default_message_loglevel = DEFAULT_MESSAGE_LOGLEVEL; int minimum_console_loglevel = MINIMUM_CONSOLE_LOGLEVEL; int default_console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL; -void display(char*); -extern int vtxprintf(void (*)(unsigned char), const char *, va_list); - static spinlock_t console_lock = SPIN_LOCK_UNLOCKED; int do_printk(int msg_level, const char *fmt, ...) |