tag	line	file	source code
old_leds	51	kernel/chr_drv/keyboard.c	static unsigned char old_leds = 2;
old_leds	221	kernel/chr_drv/keyboard.c	if (kleds != old_leds) {
old_leds	222	kernel/chr_drv/keyboard.c	old_leds = kleds;