tag	line	file	source code
ledstate	1086	drivers/char/keyboard.c	static unsigned char ledstate = 0xff; /* undefined */
ledstate	1090	drivers/char/keyboard.c	return ledstate;
ledstate	1167	drivers/char/keyboard.c	if (leds != ledstate) {
ledstate	1168	drivers/char/keyboard.c	ledstate = leds;