crossgcc: invoke buildgcc with bash, instead of relying on #!/bin/bash

[coreboot.git] / src / console / printk.c

diff --git a/src/console/printk.c b/src/console/printk.c
index 0485a001da37bea1ba45e388a76bb5e030570005..488d4e5ca39b951a814d92489093d79ae13f8aa2 100644 (file)
--- a/src/console/printk.c
+++ b/src/console/printk.c
@@ -5,34 +5,21 @@
  *
  */
 
-#include <stdarg.h>
 #include <smp/spinlock.h>
+#include <console/vtxprintf.h>
 #include <console/console.h>
 
-/* printk's without a loglevel use this.. */
-#define DEFAULT_MESSAGE_LOGLEVEL 4 /* BIOS_WARNING */
-
-/* We show everything that is MORE important than this.. */
-#define MINIMUM_CONSOLE_LOGLEVEL 1 /* Minimum loglevel we let people use */
-
-/* Keep together for sysctl support */
-
 int console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
-int default_message_loglevel = DEFAULT_MESSAGE_LOGLEVEL;
-int minimum_console_loglevel = MINIMUM_CONSOLE_LOGLEVEL;
 int default_console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL;
 
-void display(char*);
-extern int vtxprintf(void (*)(unsigned char), const char *, va_list);
-
-static spinlock_t console_lock = SPIN_LOCK_UNLOCKED;
+DECLARE_SPIN_LOCK(console_lock)
 
 int do_printk(int msg_level, const char *fmt, ...)
 {
        va_list args;
        int i;
 
-       if (msg_level >= console_loglevel) {
+       if (msg_level > console_loglevel) {
                return 0;
        }