tag	line	file	source code
ledstate	1046	drivers/char/keyboard.c	static unsigned char ledstate = 0xff; /* undefined */
ledstate	1050	drivers/char/keyboard.c	return ledstate;
ledstate	1127	drivers/char/keyboard.c	if (leds != ledstate) {
ledstate	1128	drivers/char/keyboard.c	ledstate = leds;