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_read_root()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 1 reg 32
DATA_SOURCE 0 domain $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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_irq() -> ipmmu_ctx_read_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 48
DATA_SOURCE 0 domain $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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_irq() -> ipmmu_ctx_read_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 52
DATA_SOURCE 0 domain $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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_read_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
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
HALF_LOCKED2 0 &domain->mutex

drivers/iommu/ipmmu-vmsa.c ipmmu_domain_setup_context() -> ipmmu_ctx_read_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
HALF_LOCKED2 0 &domain->mutex

drivers/iommu/ipmmu-vmsa.c ipmmu_tlb_invalidate() -> ipmmu_ctx_read_root()

Type Parameter Key Value
PARAM_VALUE 1 reg 0
BUF_SIZE 0 domain (-1),104,112,496,2376
BUF_SIZE 0 domain (-1),104,112,496,2376
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/ipmmu-vmsa.c ipmmu_tlb_sync() -> ipmmu_ctx_read_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 0
BUF_SIZE 0 domain (-1),104,112,496,2376
BUF_SIZE 0 domain (-1),104,112,496,2376
CAPPED_DATA 0 domain->mmu 1
CAPPED_DATA 0 domain->mmu->root 1
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING