2 * blantantly copied from linux/kernel/printk.c
4 * Copyright (C) 1991, 1992 Linus Torvalds
7 //typedef void * va_list;
10 #include <smp/spinlock.h>
11 #include <console/console.h>
13 /* printk's without a loglevel use this.. */
14 #define DEFAULT_MESSAGE_LOGLEVEL 4 /* BIOS_WARNING */
16 /* We show everything that is MORE important than this.. */
17 #define MINIMUM_CONSOLE_LOGLEVEL 1 /* Minimum loglevel we let people use */
19 /* Keep together for sysctl support */
21 int console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
22 int default_message_loglevel = DEFAULT_MESSAGE_LOGLEVEL;
23 int minimum_console_loglevel = MINIMUM_CONSOLE_LOGLEVEL;
24 int default_console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
27 extern int vtxprintf(void (*)(unsigned char), const char *, va_list);
29 spinlock_t console_lock = SPIN_LOCK_UNLOCKED;
31 int do_printk(int msg_level, const char *fmt, ...)
36 if (msg_level >= console_loglevel) {
40 spin_lock(&console_lock);
43 i = vtxprintf(console_tx_byte, fmt, args);
48 spin_unlock(&console_lock);