tag	line	file	source code
console_print	2176	drivers/char/console.c	register_console(console_print);
console_print	389	drivers/char/cyclades.c	extern void console_print(const char *);
console_print	434	drivers/char/cyclades.c	console_print(data);
console_print	443	drivers/char/cyclades.c	console_print(scrn);
console_print	28	kernel/printk.c	extern void console_print(const char *);