kbd_propagate_led_state 1061 drivers/tty/vt/keyboard.c kbd_propagate_led_state(~led_state, led_state); kbd_propagate_led_state 1234 drivers/tty/vt/keyboard.c kbd_propagate_led_state(ledstate, leds);