| tag | line | file | source code |
|---|---|---|---|
| leds | 803 | drivers/char/keyboard.c | unsigned char leds = kbd_table[fg_console].flags & LED_MASK; |
| leds | 805 | drivers/char/keyboard.c | if (leds != old_leds) { |
| leds | 806 | drivers/char/keyboard.c | old_leds = leds; |
| leds | 807 | drivers/char/keyboard.c | if (!send_data(0xed) || !send_data(leds)) |