Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/io-pgtable.c alloc_io_pgtable_ops() -> check_custom_allocator()

Type Parameter Key Value
PARAM_VALUE 0 fmt 0-7
PARAM_VALUE 1 cfg 4096-ptr_max
DATA_SOURCE 0 fmt $0
DATA_SOURCE 1 cfg $1
FUZZY_MAX 0 fmt 5
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