tag	line	file	source code
kbdapplic	869	kernel/chr_drv/console.c	clr_kbd(kbdapplic);
kbdapplic	1014	kernel/chr_drv/console.c	clr_kbd(kbdapplic);
kbdapplic	1017	kernel/chr_drv/console.c	set_kbd(kbdapplic);