Index: uspace/lib/libc/include/stdarg.h
===================================================================
--- uspace/lib/libc/include/stdarg.h	(revision 5d4e90f0ebfd5bd2cbfa4358e49bfb1691a813f5)
+++ uspace/lib/libc/include/stdarg.h	(revision d8f92868d9c40327364b19689dce9dc910486f3e)
@@ -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