tag	line	file	source code
old_leds	1310	kernel/chr_drv/keyboard.c	static unsigned char old_leds = -1;
old_leds	1313	kernel/chr_drv/keyboard.c	if (leds != old_leds) {
old_leds	1314	kernel/chr_drv/keyboard.c	old_leds = leds;