tag	line	file	source code
do_poke_blanked_console	126	drivers/char/keyboard.c	static volatile unsigned char do_poke_blanked_console = 0;
do_poke_blanked_console	383	drivers/char/keyboard.c	do_poke_blanked_console = 1;
do_poke_blanked_console	1178	drivers/char/keyboard.c	if (do_poke_blanked_console) { /* do not unblank for a LED change */
do_poke_blanked_console	1179	drivers/char/keyboard.c	do_poke_blanked_console = 0;