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