2 * blantantly copied from linux/kernel/printk.c
4 * Copyright (C) 1991, 1992 Linus Torvalds
9 static char rcsid[] = "$Id$";
12 //typedef void * va_list;
15 #include <smp/spinlock.h>
16 #include <console/console.h>
18 /* printk's without a loglevel use this.. */
19 #define DEFAULT_MESSAGE_LOGLEVEL 4 /* BIOS_WARNING */
21 /* We show everything that is MORE important than this.. */
22 #define MINIMUM_CONSOLE_LOGLEVEL 1 /* Minimum loglevel we let people use */
24 /* Keep together for sysctl support */
26 int console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
27 int default_message_loglevel = DEFAULT_MESSAGE_LOGLEVEL;
28 int minimum_console_loglevel = MINIMUM_CONSOLE_LOGLEVEL;
29 int default_console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
32 extern int vtxprintf(void (*)(unsigned char), const char *, va_list);
34 spinlock_t console_lock = SPIN_LOCK_UNLOCKED;
36 int do_printk(int msg_level, const char *fmt, ...)
41 if (msg_level >= console_loglevel) {
45 spin_lock(&console_lock);
48 i = vtxprintf(console_tx_byte, fmt, args);
53 spin_unlock(&console_lock);