diff options
| author | Alex AUVOLAT <alexis211@gmail.com> | 2013-07-10 21:17:50 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alexis211@gmail.com> | 2013-07-10 21:17:50 +0200 |
| commit | 78d7ffce4861dea5624ff29ceb39f1643dff8235 (patch) | |
| tree | 6b41c052e48398f7520013622f0b1b9b9190259a /src/user/lib/libc | |
| parent | fadf399405ca5d918dd5e1182fadc3d82f6bc900 (diff) | |
| download | TCE-78d7ffce4861dea5624ff29ceb39f1643dff8235.tar.gz TCE-78d7ffce4861dea5624ff29ceb39f1643dff8235.zip | |
Serial port used for writing kernel output.
Project: give total control to userland over display/input devices.
Diffstat (limited to 'src/user/lib/libc')
| -rw-r--r-- | src/user/lib/libc/include/stdarg.h | 6 |
1 files changed, 1 insertions, 5 deletions
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 <types.h> #endif |