va_start           73 kernel/printf.c   va_start(ap, fmt);
va_start          121 user/printf.c    va_start(ap, fmt);
va_start          130 user/printf.c    va_start(ap, fmt);