tag	line	file	source code
register_console	134	drivers/char/console.c	extern void register_console(void (*proc)(const char *));
register_console	2062	drivers/char/console.c	register_console(console_print);
register_console	40	drivers/char/tga.c	extern void register_console(void (*proc)(const char *));
register_console	477	drivers/char/tga.c	register_console(console_print);