summaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
authorAlex AUVOLAT <alexis211@gmail.com>2013-07-10 21:17:50 +0200
committerAlex AUVOLAT <alexis211@gmail.com>2013-07-10 21:17:50 +0200
commit78d7ffce4861dea5624ff29ceb39f1643dff8235 (patch)
tree6b41c052e48398f7520013622f0b1b9b9190259a /src/include
parentfadf399405ca5d918dd5e1182fadc3d82f6bc900 (diff)
downloadTCE-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.h7
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