taglinefilesource code
ledstate1086drivers/char/keyboard.cstatic unsigned char ledstate = 0xff; /* undefined */
ledstate1090drivers/char/keyboard.creturn ledstate;
ledstate1167drivers/char/keyboard.cif (leds != ledstate) {
ledstate1168drivers/char/keyboard.cledstate = leds;