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/include | |
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/include')
-rw-r--r-- | src/include/types.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/include/types.h b/src/include/types.h index 373a3b5..18efff8 100644 --- a/src/include/types.h +++ b/src/include/types.h @@ -15,4 +15,11 @@ typedef long int ptrdiff_t; #define NULL 0 +// Use internal GCC structures for variadic functions +#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; + #endif |