va_start           73 kernel/printk.c   va_start(ap, fmt);
va_start          124 user/printf.c    va_start(ap, fmt);
va_start          133 user/printf.c    va_start(ap, fmt);