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>
13 int console_loglevel
= CONFIG_DEFAULT_CONSOLE_LOGLEVEL
;
14 int default_console_loglevel
= CONFIG_DEFAULT_CONSOLE_LOGLEVEL
;
16 DECLARE_SPIN_LOCK(console_lock
)
18 int do_printk(int msg_level
, const char *fmt
, ...)
23 if (msg_level
> console_loglevel
) {
28 spin_lock(&console_lock
);
31 i
= vtxprintf(console_tx_byte
, fmt
, args
);
36 spin_unlock(&console_lock
);