tag	line	file	source code
decckm	726	kernel/chr_drv/console.c	set_kbd(decckm);
decckm	728	kernel/chr_drv/console.c	clr_kbd(decckm);
decckm	931	kernel/chr_drv/console.c	clr_kbd(decckm);