tag	line	file	source code
ledstate	1083	drivers/char/keyboard.c	static unsigned char ledstate = 0xff; /* undefined */
ledstate	1087	drivers/char/keyboard.c	return ledstate;
ledstate	1164	drivers/char/keyboard.c	if (leds != ledstate) {
ledstate	1165	drivers/char/keyboard.c	ledstate = leds;