Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/ipmmu-vmsa.c ipmmu_probe() -> ipmmu_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mmu 4096-ptr_max
PARAM_VALUE 0 mmu->ctx 0
PARAM_VALUE 0 mmu->dev 4096-ptr_max
PARAM_VALUE 0 mmu->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mmu->features 4096-ptr_max
PARAM_VALUE 0 mmu->features->num_utlbs 0-u32max
PARAM_VALUE 0 mmu->num_ctx 0-16
PARAM_VALUE 0 mmu->root 4096-ptr_max
PARAM_VALUE 0 mmu->root->cell_count 0
PARAM_VALUE 0 mmu->root->cells_name 0
PARAM_VALUE 0 mmu->root->cur_count 0-4294967295
PARAM_VALUE 0 mmu->root->parent 0
PARAM_VALUE 0 mmu->root->phandle 0-4294967295
PARAM_VALUE 0 mmu->utlb_ctx 0
BUF_SIZE 0 mmu 376
BUF_SIZE 0 mmu->dev 1616
BUF_SIZE 0 mmu->root 376,u64max
CAPPED_DATA 0 mmu 1
CAPPED_DATA 0 mmu->num_ctx 1
CAPPED_DATA 0 mmu->root 1
DATA_SOURCE 0 mmu r devm_kzalloc
PARAM_COMPARE 0 mmu == $0->root
PARAM_COMPARE 0 mmu == $0->root
MEM_ZERO 0 mmu
MEM_ZERO 0 mmu->ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/ipmmu-vmsa.c ipmmu_remove() -> ipmmu_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mmu 4096-ptr_max
PARAM_VALUE 0 mmu->iommu->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu->dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 mmu->iommu->dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu->dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 mmu->iommu->dev->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 mmu->iommu->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 mmu->iommu->dev->p->deferred_probe_reason 0-255
PARAM_VALUE 0 mmu->iommu->dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu->dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu->dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu->dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 mmu->iommu.dev 0
PARAM_VALUE 0 mmu->iommu.singleton_group 0
BUF_SIZE 0 mmu s32min-(-2),1-s32max
BUF_SIZE 0 mmu s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mmu unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/iommu/ipmmu-vmsa.c ipmmu_resume_noirq() -> ipmmu_device_reset()

Type Parameter Key Value
PARAM_VALUE 0 mmu 4096-ptr_max
PARAM_VALUE 0 mmu->root 4096-ptr_max
BUF_SIZE 0 mmu s32min-(-2),1-s32max
BUF_SIZE 0 mmu s32min-(-2),1-s32max
CAPPED_DATA 0 mmu 1
CAPPED_DATA 0 mmu->root 1
PARAM_COMPARE 0 mmu == $0->root
PARAM_COMPARE 0 mmu == $0->root
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mmu unit_byte