Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/dmar.c qi_check_fault() -> qi_dump_fault()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ir_domain->msi_parent_ops->bus_select_token 0,3,5,9,12-13
PARAM_VALUE 0 iommu->qi 4096-ptr_max
PARAM_VALUE 0 iommu->qi->desc_status 4096-ptr_max
PARAM_VALUE 0 iommu->qi->q_lock.dep_map->name 0-255
PARAM_VALUE 0 iommu->qi->q_lock.owner_cpu 0
PARAM_VALUE 0 iommu->qi->q_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 fault 16-u32max
BUF_SIZE 0 iommu->ir_domain (-1),376-s32max
BUF_SIZE 0 iommu->ir_domain->msi_parent_ops (-1),40
BUF_SIZE 0 iommu->ir_table (-1),16
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 fault r readl
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 fault 16-u32max
UNITS 0 iommu unit_byte
LOCK2 &qi->q_lock
HALF_LOCKED2 &domain->cache_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &irq_2_ir_lock
HALF_LOCKED2 0 &iommu->lock
TYPE_LOCK (struct q_inval)->q_lock