tag
line
file
source code
printk
82
kernel/printk.c
int printk(const char *fmt, ...)
printk
90
zBoot/misc.c
int printk(char *s)