perf: Clean up perf_{session,alloc} management
[akaros.git] / kern / include / stdarg.h
index eca3efb..eb2b4f5 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_INC_STDARG_H
-#define ROS_INC_STDARG_H
+#pragma once
 
 // We now leverage GCC's built-in varargs support.
 // The old code was correct for i386's calling convention
@@ -8,8 +7,7 @@
 
 typedef __builtin_va_list va_list;
 
-#define va_start(v,l)  __builtin_va_start(v,l)
+#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)
-
-#endif /* !ROS_INC_STDARG_H */
+#define va_copy(d, s)  __builtin_va_copy(d, s)
+#define va_arg(v, l)   __builtin_va_arg(v, l)