Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/ipmmu-vmsa.c ipmmu_domain_init_context() -> ipmmu_domain_setup_context()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->cfg.apple_dart_cfg.n_levels 3-4
PARAM_VALUE 0 domain->cfg.apple_dart_cfg.n_ttbrs 0-s32max
PARAM_VALUE 0 domain->cfg.arm_lpae_s1_cfg.mair 18446744073508552516
PARAM_VALUE 0 domain->cfg.arm_lpae_s1_cfg.tcr.ips 0-6
PARAM_VALUE 0 domain->cfg.arm_lpae_s1_cfg.tcr.irgn 0-1
PARAM_VALUE 0 domain->cfg.arm_lpae_s1_cfg.tcr.orgn 0-1
PARAM_VALUE 0 domain->cfg.arm_lpae_s1_cfg.tcr.sh 2-3
PARAM_VALUE 0 domain->cfg.arm_lpae_s2_cfg.vtcr.irgn 0-1
PARAM_VALUE 0 domain->cfg.arm_lpae_s2_cfg.vtcr.orgn 0-1
PARAM_VALUE 0 domain->cfg.arm_lpae_s2_cfg.vtcr.ps 0-6
PARAM_VALUE 0 domain->cfg.arm_lpae_s2_cfg.vtcr.sh 2-3
PARAM_VALUE 0 domain->cfg.arm_mali_lpae_cfg.memattr 8949128
PARAM_VALUE 0 domain->cfg.arm_v7s_cfg.nmrr 1073758208
PARAM_VALUE 0 domain->cfg.arm_v7s_cfg.prrr 2148237828
PARAM_VALUE 0 domain->cfg.arm_v7s_cfg.tcr 0
PARAM_VALUE 0 domain->cfg.coherent_walk 0
PARAM_VALUE 0 domain->cfg.ias 0-52
PARAM_VALUE 0 domain->cfg.iommu_dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 domain->cfg.iommu_dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 domain->cfg.iommu_dev->dma_uses_io_tlb 1
PARAM_VALUE 0 domain->cfg.oas 0-52
PARAM_VALUE 0 domain->cfg.quirks 0-30
PARAM_VALUE 0 domain->cfg.tlb 3950522081441722368
PARAM_VALUE 0 domain->context_id 0-64
PARAM_VALUE 0 domain->io_domain.geometry.aperture_end u32max
PARAM_VALUE 0 domain->io_domain.geometry.force_aperture 1
PARAM_VALUE 0 domain->iop 4096-ptr_max
PARAM_VALUE 0 domain->mmu 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 domain->mutex.dep_map->name 0-255
PARAM_VALUE 0 domain->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 domain->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 domain->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 domain->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 domain->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 domain->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 domain->cfg.tlb 24
BUF_SIZE 0 domain->iop 40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
CAPPED_DATA 0 domain->context_id 1
DATA_SOURCE 0 domain $0
NOCHECK_CALL
LOCK2 0 &domain->mutex
TYPE_LOCK (struct ipmmu_vmsa_domain)->mutex

drivers/iommu/ipmmu-vmsa.c ipmmu_resume_noirq() -> ipmmu_domain_setup_context()

Type Parameter Key Value
PARAM_VALUE 0 domain 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL