diff cos/include/kernel.h @ 12:fcdae30b2782

Fixup of variable argument things
author windel
date Mon, 14 Nov 2011 21:31:27 +0100
parents 92ace1ca50a8
children
line wrap: on
line diff
--- a/cos/include/kernel.h	Sun Nov 13 23:24:10 2011 +0100
+++ b/cos/include/kernel.h	Mon Nov 14 21:31:27 2011 +0100
@@ -50,6 +50,12 @@
 void loadPageTable(void* tableAddress);
 void enablePaging(void);
 
+// Variable argument list things:
+#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;
+
 struct multiboot_aout_symbol_table {
   uint32_t tabsize;
   uint32_t strsize, addr, reserved;