Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/iommu.c init_dmars() -> iommu_set_root_entry()

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->root_entry 18379471554275704832,18446612682070032384
NOCHECK_CALL
LOCK2 global &dmar_global_lock

drivers/iommu/intel/iommu.c init_iommu_hw() -> iommu_set_root_entry()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->qi 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

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

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->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
NOCHECK_CALL
HALF_LOCKED2 global &dmar_global_lock