Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/raw_mode.c scmi_raw_message_receive() -> scmi_raw_queue_select()

Type Parameter Key Value
PARAM_VALUE 1 idx 0-2
DATA_SOURCE 0 raw $0
DATA_SOURCE 1 idx $4
DATA_SOURCE 2 chan_id $5
HARD_MAX 1 idx 2
UNITS 0 raw unit_array_size

drivers/firmware/arm_scmi/raw_mode.c scmi_raw_message_report() -> scmi_raw_queue_select()

Type Parameter Key Value
PARAM_VALUE 0 raw 4096-ptr_max
PARAM_VALUE 0 raw->handle 4096-ptr_max
PARAM_VALUE 1 idx 0-2
DATA_SOURCE 0 raw $0
DATA_SOURCE 1 idx $2
HARD_MAX 1 idx 2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 chan_id unit_array_size
HALF_LOCKED2 &pool->lock

drivers/firmware/arm_scmi/raw_mode.c scmi_test_dbg_raw_common_poll() -> scmi_raw_queue_select()

Type Parameter Key Value
PARAM_VALUE 1 idx 0-2
DATA_SOURCE 1 idx $2
HARD_MAX 1 idx 2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 raw unit_array_size
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu