Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/wmi/core.c wmi_query_block() -> __query_block()

Type Parameter Key Value
PARAM_VALUE 0 wblock 4096-ptr_max
PARAM_VALUE 2 out 4096-ptr_max
PARAM_VALUE 2 out->length u64max
PARAM_VALUE 2 out->pointer 0
DATA_SOURCE 1 instance $1
DATA_SOURCE 2 out $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 instance
UNITS 1 instance unit_array_size
HALF_LOCKED2 &wblock->notify_lock
HALF_LOCKED2 global &s3_wmi_lock

drivers/platform/wmi/core.c wmidev_block_query() -> __query_block()

Type Parameter Key Value
PARAM_VALUE 0 wblock 4096-ptr_max
PARAM_VALUE 2 out 3150497184396464128
PARAM_VALUE 2 out->length u64max
PARAM_VALUE 2 out->pointer 0
DATA_SOURCE 1 instance $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 instance
UNITS 1 instance unit_array_size
HALF_LOCKED2 &state->lock
HALF_LOCKED2 _T->lock