Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/asus-wireless.c led_state_get() -> asus_wireless_method()

Type Parameter Key Value
PARAM_VALUE 1 method 3279903852684701696
PARAM_VALUE 3 ret 6279392002781581312
BUF_SIZE 1 method 5
STR_LEN 0 handle 4
TERMINATED 1 method 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &led->led_access
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/platform/x86/asus-wireless.c led_state_update() -> asus_wireless_method()

Type Parameter Key Value
PARAM_VALUE 1 method 3279903852684701696
PARAM_VALUE 3 ret 825196032871034880
BUF_SIZE 1 method 5
STR_LEN 0 handle 4
TERMINATED 1 method 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock