tag	line	file	source code
old_leds	719	drivers/char/keyboard.c	static unsigned char old_leds = 0xff;
old_leds	722	drivers/char/keyboard.c	if (leds != old_leds) {
old_leds	723	drivers/char/keyboard.c	old_leds = leds;