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