tag	line	file	source code
decckm	1226	drivers/char/console.c	set_kbd(decckm);
decckm	1228	drivers/char/console.c	clr_kbd(decckm);
decckm	1447	drivers/char/console.c	clr_kbd(decckm);