Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/ipmmu-vmsa.c ipmmu_domain_irq() -> ipmmu_ctx_write_root()

Type Parameter Key Value
PARAM_VALUE 0 domain 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->features 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 data 0
DATA_SOURCE 0 domain $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mmu->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ipmmu_vmsa_device)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 1 reg 16
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 domain 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->features 4096-ptr_max
PARAM_VALUE 1 reg 20
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->mmu 4096-ptr_max
PARAM_VALUE 0 domain->mmu->features 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root->features 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 data 2147483664,2147483776,2147497232,2147497344
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
BIT_INFO 2 data 0xffffffff80000000,0xffffffff80003590
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->mmu 4096-ptr_max
PARAM_VALUE 0 domain->mmu->features 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root->features 4096-ptr_max
PARAM_VALUE 1 reg 40
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->mmu 4096-ptr_max
PARAM_VALUE 0 domain->mmu->features 4096-ptr_max
PARAM_VALUE 0 domain->mmu->features->setup_imbuscr 1
PARAM_VALUE 0 domain->mmu->root 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root->features 4096-ptr_max
PARAM_VALUE 1 reg 12
PARAM_VALUE 2 data 0,8-u32max
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
BIT_INFO 2 data 0x0,0xfffffff8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0,8-u32max
HALF_LOCKED2 0 &domain->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->mmu 4096-ptr_max
PARAM_VALUE 0 domain->mmu->features 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root 4096-ptr_max
PARAM_VALUE 0 domain->mmu->root->features 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 domain->cfg.tlb (-1),24
BUF_SIZE 0 domain->iop (-1),40
BUF_SIZE 0 domain->mmu s32min-(-1),1-s32max
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
HALF_LOCKED2 0 &domain->mutex