summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/arch/i386/lib/printk_init.c1
-rw-r--r--src/console/printk.c9
-rw-r--r--src/console/vsprintf.c1
-rw-r--r--src/console/vtxprintf.c1
-rw-r--r--src/include/console/vtxprintf.h12
5 files changed, 12 insertions, 12 deletions
diff --git a/src/arch/i386/lib/printk_init.c b/src/arch/i386/lib/printk_init.c
index dd4672736b..aa9d5b5a5a 100644
--- a/src/arch/i386/lib/printk_init.c
+++ b/src/arch/i386/lib/printk_init.c
@@ -17,7 +17,6 @@
* MA 02110-1301 USA
*/
-#include <stdarg.h>
#include <console/console.h>
#include <console/vtxprintf.h>
#include <console/loglevel.h>
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>
diff --git a/src/include/console/vtxprintf.h b/src/include/console/vtxprintf.h
index c949c12115..f7d58bbd6a 100644
--- a/src/include/console/vtxprintf.h
+++ b/src/include/console/vtxprintf.h
@@ -20,7 +20,19 @@
#ifndef __CONSOLE_VTXPRINTF_H
#define __CONSOLE_VTXPRINTF_H
+/* With GCC we use -nostdinc -ffreestanding to keep out system includes.
+ * Unfortunately this also gets us rid of the _compiler_ includes, like
+ * stdarg.h. To work around the issue, we define varargs directly here.
+ * On LLVM we can still just include stdarg.h.
+ */
+#ifdef __GNUC__
+#define va_start(v,l) __builtin_va_start(v,l)
+#define va_end(v) __builtin_va_end(v)
+#define va_arg(v,l) __builtin_va_arg(v,l)
+typedef __builtin_va_list va_list;
+#else
#include <stdarg.h>
+#endif
int vtxprintf(void (*tx_byte)(unsigned char byte), const char *fmt, va_list args);