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