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