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