Searched refs:smmu_regs (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/
H A Dsmmu.c71 static volatile tk1_mc_regs_t *smmu_regs = (volatile tk1_mc_regs_t *)(SMMU_PPTR); variable
103 smmu_regs->smmu_config = 0;
120 smmu_regs->smmu_config = 1;
150 smmu_regs->smmu_ptc_flush = cmd;
157 smmu_regs->smmu_tlb_flush = cmd;
182 smmu_regs->smmu_ptb_asid = asid;
185 smmu_regs->smmu_ptb_data = make_ptb_data(pptr_to_paddr(pd), true, true, true);
190 smmu_regs->smmu_afi_asid = SMMU_AFI_ASID | MODULE_ASID_ENABLE;
191 smmu_regs->smmu_avpc_asid = SMMU_AVPC_ASID | MODULE_ASID_ENABLE;
192 smmu_regs
[all...]

Completed in 74 milliseconds