2 * blantantly copied from linux/kernel/printk.c
4 * Copyright (C) 1991, 1992 Linus Torvalds
8 #include <smp/spinlock.h>
9 #include <console/vtxprintf.h>
10 #include <console/console.h>
12 int console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
13 int default_console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
15 DECLARE_SPIN_LOCK(console_lock)
17 int do_printk(int msg_level, const char *fmt, ...)
22 if (msg_level > console_loglevel) {
26 spin_lock(&console_lock);
29 i = vtxprintf(console_tx_byte, fmt, args);
34 spin_unlock(&console_lock);