Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/devfreq/imx-bus.c imx_bus_probe() -> imx_bus_init_icc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->iommu->max_pasids 0-4294967295
PARAM_VALUE 0 dev->power.qos 1-ptr_max
PARAM_VALUE 0 dev->power.qos->flags.list.next 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->flags.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->flags.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->flags.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->flags.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.default_value s32max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.list.node_list.next 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.list.node_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.no_constraint_value s32max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.notifiers 4096-ptr_max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.notifiers->head 1-u64max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.target_value s32max
PARAM_VALUE 0 dev->power.qos->freq.max_freq.type 2
PARAM_VALUE 0 dev->power.qos->latency_tolerance.no_constraint_value (-1)
PARAM_VALUE 0 dev->power.qos->latency_tolerance.type 2
PARAM_VALUE 0 dev->power.qos->resume_latency.notifiers->head 4096-ptr_max
BUF_SIZE 0 dev 1616
RX_PATH
TASK_NOT_RUNNING