Implemented the new profiler
[akaros.git] / kern / include / stdarg.h
1 #pragma once
2
3 // We now leverage GCC's built-in varargs support.
4 // The old code was correct for i386's calling convention
5 // but breaks when args are passed in registers.
6 // --asw
7
8 typedef __builtin_va_list va_list;
9
10 #define va_start(v,l)   __builtin_va_start(v,l)
11 #define va_end(v)       __builtin_va_end(v)
12 #define va_arg(v,l)     __builtin_va_arg(v,l)