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