tag	line	file	source code
disp_ctrl	874	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	882	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	890	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1103	drivers/char/console.c	disp_ctrl = on_off;
disp_ctrl	1274	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1409	drivers/char/console.c	if (!ok && tc && (c >= 32 || (disp_ctrl && c != 0x1b)
disp_ctrl	1460	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1465	drivers/char/console.c	disp_ctrl = 0;