Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/io-pgtable-arm-v7s.c __arm_v7s_map() -> iopte_deref()

Type Parameter Key Value
PARAM_VALUE 1 lvl 1
PARAM_VALUE 2 data->iop.cfg.iommu_dev->dma_io_tlb_mem->can_grow 0-1
DATA_SOURCE 1 lvl $5
DATA_SOURCE 2 data $0
NO_OVERFLOW_SIMPLE 2 data->l2_tables->object_size
NO_OVERFLOW_SIMPLE 2 data->l2_tables->sheaf_capacity

drivers/iommu/io-pgtable-arm-v7s.c __arm_v7s_unmap() -> iopte_deref()

Type Parameter Key Value
PARAM_VALUE 1 lvl 1
PARAM_VALUE 2 data->iop.cfg.iommu_dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 2 data->iop.cfg.tlb->tlb_add_page 0,4096-ptr_max
PARAM_VALUE 2 data->iop.cfg.tlb->tlb_flush_walk 4096-ptr_max
DATA_SOURCE 1 lvl $4
DATA_SOURCE 2 data $0
NO_OVERFLOW_SIMPLE 2 data->l2_tables->object_size
NO_OVERFLOW_SIMPLE 2 data->l2_tables->sheaf_capacity
NO_OVERFLOW_SIMPLE 2 data->pgd

drivers/iommu/io-pgtable-arm-v7s.c __arm_v7s_unmap() -> iopte_deref()

Type Parameter Key Value
PARAM_VALUE 1 lvl (-2147483615)-2
PARAM_VALUE 2 data->iop.cfg.iommu_dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 2 data->iop.cfg.tlb->tlb_add_page 0,4096-ptr_max
PARAM_VALUE 2 data->iop.cfg.tlb->tlb_flush_walk 4096-ptr_max
DATA_SOURCE 1 lvl $4
DATA_SOURCE 2 data $0
NO_OVERFLOW_SIMPLE 2 data->l2_tables->object_size
NO_OVERFLOW_SIMPLE 2 data->l2_tables->sheaf_capacity
NO_OVERFLOW_SIMPLE 2 data->pgd

drivers/iommu/io-pgtable-arm-v7s.c arm_v7s_free_pgtable() -> iopte_deref()

Type Parameter Key Value
PARAM_VALUE 1 lvl 1
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 data->pgd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &init_lock
HALF_LOCKED2 &qcom_domain->init_mutex

drivers/iommu/io-pgtable-arm-v7s.c arm_v7s_iova_to_phys() -> iopte_deref()

Type Parameter Key Value
PARAM_VALUE 1 lvl 1-s32max
PARAM_VALUE 2 data 4096-ptr_max