tag	line	file	source code
poke_blanked_console	136	drivers/char/console.c	extern void poke_blanked_console(void);
poke_blanked_console	1144	drivers/char/console.c	poke_blanked_console();
poke_blanked_console	1898	drivers/char/console.c	poke_blanked_console();
poke_blanked_console	1974	drivers/char/console.c	poke_blanked_console();
poke_blanked_console	83	drivers/char/keyboard.c	extern void poke_blanked_console(void);