tag	line	file	source code
kbdapplic	1061	drivers/char/console.c	clr_kbd(kbdapplic);
kbdapplic	1234	drivers/char/console.c	clr_kbd(kbdapplic);
kbdapplic	1237	drivers/char/console.c	set_kbd(kbdapplic);