Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/x86/dell/dell-laptop.c kbd_set_state_safe() -> kbd_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 5609933439067582464,5854165870955188224,6175500303181492224,8849822053410250752,9060584536157147136 |
| PARAM_VALUE | 0 | state->timeout_unit | 0-3 |
| PARAM_VALUE | 0 | state->timeout_unit_ac | 0-3 |
| DATA_SOURCE | 0 | state | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | state->als_setting | 0-255 |
| LOCK2 | global &kbd_led_mutex | ||
| HALF_LOCKED2 | &of->mutex |
drivers/platform/x86/dell/dell-laptop.c kbd_set_state_safe() -> kbd_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 2789576298820837376,3500150425256075264,5511934423029522432,5523477725214937088,8543379047922667520 |
| DATA_SOURCE | 0 | state | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &kbd_led_mutex | ||
| HALF_LOCKED2 | &of->mutex |