tag	line	file	source code
set_kbd	661	kernel/chr_drv/console.c	set_kbd(decckm);
set_kbd	685	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	699	kernel/chr_drv/console.c	set_kbd(lnm);
set_kbd	865	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	1015	kernel/chr_drv/console.c	set_kbd(kbdapplic);