tag	line	file	source code
console_print	19	kernel/printk.c	extern void console_print(const char *);
console_print	101	kernel/printk.c	console_print(buf);