tag	line	file	source code
decckm	668	kernel/chr_drv/console.c	SET(decckm,ckmode,on_off);
decckm	874	kernel/chr_drv/console.c	decckm    = 0;
decckm	1351	kernel/chr_drv/console.c	decckm = ckmode;
decckm	1359	kernel/chr_drv/console.c	ckmode = decckm;