tag	line	file	source code
decarm	846	drivers/char/console.c	set_kbd(decarm);
decarm	848	drivers/char/console.c	clr_kbd(decarm);
decarm	1036	drivers/char/console.c	set_kbd(decarm);