tag	line	file	source code
disp_ctrl	697	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	705	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	713	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1004	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1077	drivers/char/console.c	&& (c >= 32 || (disp_ctrl && (c&0x7f) != 27))