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);