Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/driver.c scmi_iterator_run() -> __scmi_iterator_run()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end 0
DATA_SOURCE 0 iter $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &file->lock
HALF_LOCKED2 &info->protocols_mtx

drivers/firmware/arm_scmi/driver.c scmi_iterator_run_bound() -> __scmi_iterator_run()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 1 start 8850002163402510336
PARAM_VALUE 1 *start 0-69629
PARAM_VALUE 2 end 8473358058528444416
PARAM_VALUE 2 *end 0-69629
DATA_SOURCE 0 iter $0
DATA_SOURCE 1 start $1
DATA_SOURCE 2 end $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &info->protocols_mtx
TYPE_LOCK (struct scmi_info)->protocols_mtx