taglinefilesource code
old_leds807drivers/char/keyboard.cstatic unsigned char old_leds = 0xff;
old_leds810drivers/char/keyboard.cif (leds != old_leds) {
old_leds811drivers/char/keyboard.cold_leds = leds;