tag	line	file	source code
console_print	1248	kernel/chr_drv/console.c	void console_print(const char * b);
console_print	1339	kernel/chr_drv/console.c	register_console(console_print);
console_print	26	kernel/printk.c	extern void console_print(const char *);