Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/keyboard.c kbd_bh() -> kbd_propagate_led_state()

Type Parameter Key Value
PARAM_VALUE 1 new_state 0-u16max
PARAM_COMPARE 0 old_state != $1
PARAM_COMPARE 1 new_state != $0
BIT_INFO 1 new_state 0x0,0xff0f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/tty/vt/keyboard.c kbd_update_leds_helper() -> kbd_propagate_led_state()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock