Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/iommu.c dmar_fault_dump_ptes() -> pgtable_walk()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->copied_tables 0,4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 0 iommu->register_lock.dep_map->name 0-255
PARAM_VALUE 0 iommu->register_lock.owner (-1)
PARAM_VALUE 0 iommu->register_lock.owner_cpu u32max
PARAM_VALUE 0 iommu->root_entry 4096-ptr_max
PARAM_VALUE 1 pfn 0-4503599627370495
PARAM_VALUE 4 parent 18379471554275704832,18446612682070032384
PARAM_VALUE 5 level 2-9
DATA_SOURCE 0 iommu $0
FUZZY_MAX 5 level 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 pfn 0-4503599627370495
HOST_DATA 2 bus 0-255
HOST_DATA 3 devfn 0-255
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags