tag	line	file	source code
disp_ctrl	995	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	1003	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1011	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1164	drivers/char/console.c	disp_ctrl = on_off;
disp_ctrl	1335	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1475	drivers/char/console.c	if (!ok && tc && (c >= 32 || (disp_ctrl && c != 0x1b)
disp_ctrl	1526	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1531	drivers/char/console.c	disp_ctrl = 0;