From 78d7ffce4861dea5624ff29ceb39f1643dff8235 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 10 Jul 2013 21:17:50 +0200 Subject: Serial port used for writing kernel output. Project: give total control to userland over display/input devices. --- src/user/lib/libc/include/stdarg.h | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'src/user/lib/libc') diff --git a/src/user/lib/libc/include/stdarg.h b/src/user/lib/libc/include/stdarg.h index 5cd74ff..141b04a 100644 --- a/src/user/lib/libc/include/stdarg.h +++ b/src/user/lib/libc/include/stdarg.h @@ -1,10 +1,6 @@ #ifndef DEF_STDARG_H #define DEF_STDARG_H -#define va_start(v,l) __builtin_va_start(v,l) -#define va_arg(v,l) __builtin_va_arg(v,l) -#define va_end(v) __builtin_va_end(v) -#define va_copy(d,s) __builtin_va_copy(d,s) -typedef __builtin_va_list va_list; +#include #endif -- cgit v1.2.3