Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/intel/iommu.c quirk_extra_dev_tlb_flush() -> qi_flush_dev_iotlb_pasid()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 5 addr 0
PARAM_VALUE 6 size_order 52
DATA_SOURCE 3 pasid $3
DATA_SOURCE 4 qdep $4
DATA_SOURCE 5 addr $1
DATA_SOURCE 6 size_order $2
NOCHECK_CALL

drivers/iommu/intel/pasid.c devtlb_invalidation_with_pasid() -> qi_flush_dev_iotlb_pasid()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->device_rbtree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 0 iommu->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 iommu->qi 0,4096-ptr_max
PARAM_VALUE 0 iommu->qi->q_lock.dep_map->name 0-255
PARAM_VALUE 0 iommu->qi->q_lock.owner (-1)
PARAM_VALUE 0 iommu->qi->q_lock.owner_cpu u32max
PARAM_VALUE 3 pasid 1-4294967294
PARAM_VALUE 4 qdep 0-255
PARAM_VALUE 5 addr 0
PARAM_VALUE 6 size_order 52
CAPPED_DATA 3 pasid 1
DATA_SOURCE 0 iommu $0
DATA_SOURCE 3 pasid $2
NOSPEC 3 pasid
NOSPEC 3 pasid
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 pasid 1-4294967294[c]
HALF_LOCKED2 &domain->lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 flags