Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/io-pgtable-arm.c arm_64_lpae_alloc_pgtable_s2() -> arm_lpae_concat_mandatory()

Type Parameter Key Value
PARAM_VALUE 0 cfg 4096-ptr_max
PARAM_VALUE 0 cfg->ias 0-52
PARAM_VALUE 0 cfg->oas 0-52
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 0 cfg->iommu_dev (-1),1616
BUF_SIZE 0 cfg->tlb (-1),24
BUF_SIZE 1 data 184
DATA_SOURCE 0 cfg $0
DATA_SOURCE 1 data r arm_lpae_alloc_pgtable
BIT_INFO 0 cfg->quirks 0x0,0x300
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