Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/io-pgtable-arm.c __arm_lpae_map() -> arm_lpae_install_table()

Type Parameter Key Value
PARAM_VALUE 0 table 1-u64max
PARAM_VALUE 1 ptep 4096-ptr_max
PARAM_VALUE 1 *ptep 0
PARAM_VALUE 2 curr 0
PARAM_VALUE 3 data 4096-ptr_max
PARAM_VALUE 3 data->iop.cfg.alloc 0,4096-ptr_max
PARAM_VALUE 3 data->iop.cfg.iommu_dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 3 data->iop.fmt 0-7
CAPPED_DATA 0 table 1
DATA_SOURCE 0 table r __arm_lpae_alloc_pages
DATA_SOURCE 1 ptep $7 [m]
DATA_SOURCE 3 data $0