tag	line	file	source code
set_kbd	663	kernel/chr_drv/console.c	set_kbd(decckm);
set_kbd	687	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	701	kernel/chr_drv/console.c	set_kbd(lnm);
set_kbd	867	kernel/chr_drv/console.c	set_kbd(decarm);
set_kbd	1017	kernel/chr_drv/console.c	set_kbd(kbdapplic);