#include <stdarg.h>
#include <smp/spinlock.h>
+#include <console/vtxprintf.h>
#include <console/console.h>
/* printk's without a loglevel use this.. */
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, ...)