Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/pasid.c intel_pasid_flush_present() -> qi_flush_piotlb_all()

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 0 *iommu->qi->desc_status 0
PARAM_VALUE 1 did 0,2
PARAM_VALUE 2 pasid 0
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 did $3
DATA_SOURCE 2 pasid $2
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &dmar_domain->lock
LOCK2 irq
HALF_LOCKED2 &container->group_lock
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &iommu->lock
TYPE_LOCK (struct dmar_domain)->lock

drivers/iommu/intel/pasid.c intel_pasid_tear_down_entry() -> qi_flush_piotlb_all()

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 0 *iommu->qi->desc_status 0
PARAM_VALUE 1 did 0,2
PARAM_VALUE 2 pasid 0-4294967294
CAPPED_DATA 2 pasid 1
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 did r pasid_get_domain_id
DATA_SOURCE 2 pasid $2
NOSPEC 2 pasid
NOSPEC 2 pasid
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 pasid 1-4294967294[c]
HALF_LOCKED2 &domain->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &srcu

drivers/iommu/intel/pasid.c pasid_flush_caches() -> qi_flush_piotlb_all()

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 0 *iommu->qi->desc_status 0
PARAM_VALUE 2 pasid 0-4294967294
CAPPED_DATA 2 pasid 1
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 did $3
DATA_SOURCE 2 pasid $2
NOSPEC 2 pasid
NOSPEC 2 pasid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 pasid 1-4294967294[c]