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 init_dmars() -> dmar_set_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->flush.flush_context 4787425453190803456,9146843436912906240
PARAM_VALUE 0 iommu->flush.flush_iotlb 2159419087576428544,7596027993176621056
PARAM_VALUE 0 iommu->irq 1-u32max
PARAM_VALUE 0 iommu->qi 0,4096-ptr_max
PARAM_VALUE 0 iommu->qi->desc 18379471554275704832,18446612682070032384
PARAM_VALUE 0 iommu->qi->desc_status 4096-ptr_max
PARAM_VALUE 0 iommu->root_entry 18379471554275704832,18446612682070032384
LOCK2 global &dmar_global_lock

drivers/iommu/intel/iommu.c intel_iommu_add() -> dmar_set_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->flush.flush_context 4787425453190803456,9146843436912906240
PARAM_VALUE 0 iommu->flush.flush_iotlb 2159419087576428544,7596027993176621056
PARAM_VALUE 0 iommu->qi 0,4096-ptr_max
PARAM_VALUE 0 iommu->qi->desc 18379471554275704832,18446612682070032384
PARAM_VALUE 0 iommu->qi->desc_status 4096-ptr_max
PARAM_VALUE 0 iommu->qi->free_cnt 256
PARAM_VALUE 0 iommu->qi->free_head 0
PARAM_VALUE 0 iommu->qi->free_tail 0
PARAM_VALUE 0 iommu->qi->q_lock.magic 3735899821
PARAM_VALUE 0 iommu->qi->q_lock.owner (-1)
PARAM_VALUE 0 iommu->qi->q_lock.owner_cpu u32max
PARAM_VALUE 0 iommu->root_entry 18379471554275704832,18446612682070032384
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &dmar_global_lock

drivers/iommu/intel/dmar.c enable_drhd_fault_handling() -> dmar_set_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->irq 0
CAPPED_DATA 0 iommu->node 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock