vprintf            55 user/include/stdio.h int vprintf(const char *fmt, __va_list ap);
vprintf            60 user/lib/libc/stdio/printf.c 	chars = vprintf(fmt, ap);