Index: uspace/lib/libc/include/stdarg.h
===================================================================
--- uspace/lib/libc/include/stdarg.h	(revision 8be283385dbc055a1ed930ee92302dd89c4159ea)
+++ uspace/lib/libc/include/stdarg.h	(revision 0772afff96f45fb8d8c7c726230cd0b01c65681f)
@@ -37,16 +37,10 @@
 
 #include <sys/types.h>
-#include <libarch/stackarg.h>
-
-#ifndef __VARARGS_DEFINED
-# define __VARARGS_DEFINED
 
 typedef __builtin_va_list va_list;
 
-# define va_start(ap, last) 		__builtin_va_start(ap, last)
-# define va_arg(ap, type) 		__builtin_va_arg(ap, type)
-# define va_end(ap)			__builtin_va_end(ap)
-
-# endif
+#define va_start(ap, last)  __builtin_va_start(ap, last)
+#define va_arg(ap, type)    __builtin_va_arg(ap, type)
+#define va_end(ap)          __builtin_va_end(ap)
 
 #endif