tag	line	file	source code
decarm	750	kernel/chr_drv/console.c	set_kbd(decarm);
decarm	752	kernel/chr_drv/console.c	clr_kbd(decarm);
decarm	930	kernel/chr_drv/console.c	set_kbd(decarm);