tag	line	file	source code
console_print	2102	drivers/char/console.c	register_console(console_print);
console_print	465	drivers/char/cyclades.c	console_print(data);
console_print	475	drivers/char/cyclades.c	console_print(scrn);
console_print	41	drivers/char/tga.c	extern void console_print(const char *);
console_print	480	drivers/char/tga.c	register_console(console_print);
console_print	332	include/linux/tty.h	extern void console_print(const char *);
console_print	238	kernel/ksyms.c	X(console_print),
console_print	30	kernel/printk.c	extern void console_print(const char *);