diff options
Diffstat (limited to 'src/console')
-rw-r--r-- | src/console/printk.c | 9 | ||||
-rw-r--r-- | src/console/vsprintf.c | 1 | ||||
-rw-r--r-- | src/console/vtxprintf.c | 1 |
3 files changed, 0 insertions, 11 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index 886e2cfa72..488d4e5ca3 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -5,19 +5,10 @@ * */ -#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_console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL; diff --git a/src/console/vsprintf.c b/src/console/vsprintf.c index 090063cf62..7407c420ab 100644 --- a/src/console/vsprintf.c +++ b/src/console/vsprintf.c @@ -19,7 +19,6 @@ * MA 02110-1301 USA */ -#include <stdarg.h> #include <string.h> #include <smp/spinlock.h> #include <console/vtxprintf.h> diff --git a/src/console/vtxprintf.c b/src/console/vtxprintf.c index b1b53b6a39..3c75e3d704 100644 --- a/src/console/vtxprintf.c +++ b/src/console/vtxprintf.c @@ -4,7 +4,6 @@ * Copyright (C) 1991, 1992 Linus Torvalds */ -#include <stdarg.h> #include <string.h> #include <div64.h> #include <console/vtxprintf.h> |