Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/io-pgtable-dart.c apple_dart_alloc_pgtable() -> dart_alloc_pgtable()

Type Parameter Key Value
PARAM_VALUE 0 cfg 4096-ptr_max
PARAM_VALUE 0 cfg->coherent_walk 1
PARAM_VALUE 0 cfg->ias 0-42
PARAM_VALUE 0 cfg->oas 36,42
PARAM_VALUE 0 cfg->pgsize_bitmap 4096,16384
BUF_SIZE 0 cfg->iommu_dev (-1),1616
BUF_SIZE 0 cfg->tlb (-1),24
CAPPED_DATA 0 cfg->ias 1
DATA_SOURCE 0 cfg $0
FUZZY_MAX 0 cfg->pgsize_bitmap 16384
PARAM_COMPARE 0 cfg->ias <= $0->oas
BIT_INFO 0 cfg->oas 0x20,0x2e
BIT_INFO 0 cfg->pgsize_bitmap 0x0,0x5000
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dart_domain->init_lock
HALF_LOCKED2 &data->mutex
HALF_LOCKED2 &dom->mutex
HALF_LOCKED2 &domain->mutex
HALF_LOCKED2 &init_lock
HALF_LOCKED2 &qcom_domain->init_mutex
HALF_LOCKED2 &smmu_domain->init_mutex