tag	line	file	source code
set_kbd	726	kernel/chr_drv/console.c	set_kbd(decckm);
set_kbd	750	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	764	kernel/chr_drv/console.c	set_kbd(lnm);
set_kbd	930	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	1085	kernel/chr_drv/console.c	set_kbd(kbdapplic);