Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/iommu.c copy_translation_tables() -> copy_context_table()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->copied_tables 16,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->root_entry 18379471554275704832,18446612682070032384
PARAM_VALUE 1 old_re 4096-ptr_max
PARAM_VALUE 2 tbl 16,4096-ptr_max
PARAM_VALUE 3 bus 0-255
BUF_SIZE 0 iommu->copied_tables 8192
BUF_SIZE 2 tbl 8
DATA_SOURCE 0 iommu $0
DATA_SOURCE 2 tbl r _kmalloc_array_noprof
FUZZY_MAX 3 bus 255
HARD_MAX 3 bus 255
MEM_ZERO 0 iommu->copied_tables
LOCK2 global &dmar_global_lock