tag	line	file	source code
decarm	1160	drivers/char/console.c	set_kbd(decarm);
decarm	1162	drivers/char/console.c	clr_kbd(decarm);
decarm	1357	drivers/char/console.c	set_kbd(decarm);