va_arg             47 kern/include/stdarg.h #define va_arg(ap,t)       __builtin_va_arg(ap, t)
va_arg             44 user/include/stdarg.h #define va_arg(ap,t) __builtin_va_arg(ap,t)