tag	line	file	source code
set_mode	1055	kernel/chr_drv/console.c	set_mode(currcons,1);
set_mode	1058	kernel/chr_drv/console.c	set_mode(currcons,0);