printf             64 kernel/printf.c printf(char *fmt, ...)
printf            151 user/printf.c  printf(const char *fmt, ...)