tag	line	file	source code
ledstate	1097	drivers/char/keyboard.c	static unsigned char ledstate = 0xff; /* undefined */
ledstate	1101	drivers/char/keyboard.c	return ledstate;
ledstate	1178	drivers/char/keyboard.c	if (leds != ledstate) {
ledstate	1179	drivers/char/keyboard.c	ledstate = leds;