__builtin_stdarg_start   46 kern/include/stdarg.h #define va_start(ap, fmt)  __builtin_stdarg_start(ap, fmt)
__builtin_stdarg_start   43 user/include/stdarg.h #define va_start(ap,fmt) __builtin_stdarg_start(ap,fmt)