taglinefilesource code
printk82kernel/printk.cint printk(const char *fmt, ...)
printk90zBoot/misc.cint printk(char *s)