tag	line	file	source code
ledstate	1063	drivers/char/keyboard.c	static unsigned char ledstate = 0xff; /* undefined */
ledstate	1067	drivers/char/keyboard.c	return ledstate;
ledstate	1144	drivers/char/keyboard.c	if (leds != ledstate) {
ledstate	1145	drivers/char/keyboard.c	ledstate = leds;