tag	line	file	source code
disp_ctrl	854	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	862	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	870	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1092	drivers/char/console.c	disp_ctrl = on_off;
disp_ctrl	1285	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1425	drivers/char/console.c	ok = (tc && (c >= 32 || (!utf && !(((disp_ctrl ? CTRL_ALWAYS
disp_ctrl	1495	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1500	drivers/char/console.c	disp_ctrl = 0;