tag	line	file	source code
disp_ctrl	724	drivers/char/console.c	disp_ctrl = 0;
disp_ctrl	732	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	740	drivers/char/console.c	disp_ctrl = 1;
disp_ctrl	1050	drivers/char/console.c	disp_ctrl  = 0;
disp_ctrl	1123	drivers/char/console.c	&& (c >= 32 || (disp_ctrl && (c&0x7f) != 27))