Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/irq_remapping.c intel_setup_irq_remapping() -> iommu_load_old_irte()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->flags 0,2-u32max
PARAM_VALUE 0 iommu->ir_domain 4096-ptr_max
PARAM_VALUE 0 iommu->ir_domain->msi_parent_ops 3845671146873638912
PARAM_VALUE 0 iommu->ir_domain->msi_parent_ops->bus_select_token 0,3,5,9,12-13
PARAM_VALUE 0 iommu->ir_table 4096-ptr_max
PARAM_VALUE 0 iommu->ir_table->base 18379471554275704832,18446612682070032384
PARAM_VALUE 0 iommu->ir_table->bitmap 16,4096-ptr_max
PARAM_VALUE 0 iommu->qi 1-u64max
BUF_SIZE 0 iommu->ir_domain 376-s32max
BUF_SIZE 0 iommu->ir_domain->msi_parent_ops 40
BUF_SIZE 0 iommu->ir_table 16
CAPPED_DATA 0 iommu 1
CAPPED_DATA 0 iommu->ir_domain->hwirq_max 1
DATA_SOURCE 0 iommu $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &dmar_global_lock