2 * blantantly copied from linux/kernel/printk.c
4 * Copyright (C) 1991, 1992 Linus Torvalds
8 #include <console/loglevel.h>
10 /* printk's without a loglevel use this.. */
11 #define DEFAULT_MESSAGE_LOGLEVEL 4 /* BIOS_WARNING */
13 /* Keep together for sysctl support */
15 int console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
17 extern int vtxprintf(void (*)(unsigned char), const char *, va_list);
18 extern void uart8250_tx_byte(unsigned, unsigned char);
20 void console_tx_byte(unsigned char byte)
23 uart8250_tx_byte(CONFIG_TTYS0_BASE, '\r');
24 uart8250_tx_byte(CONFIG_TTYS0_BASE, byte);
27 int do_printk(int msg_level, const char *fmt, ...)
32 if (msg_level >= console_loglevel) {
37 i = vtxprintf(console_tx_byte, fmt, args);