tag	line	file	source code
disp_ctrl	875	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	883	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	891	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1105	drivers/char/console.c	disp_ctrl = on_off;
disp_ctrl	1276	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1411	drivers/char/console.c	if (!ok && tc && (c >= 32 || (disp_ctrl && c != 0x1b)
disp_ctrl	1462	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1467	drivers/char/console.c	disp_ctrl = 0;