Searched refs:ttbcr (Results 1 – 3 of 3) sorted by relevance
176 uint32_t ttbcr; in setup_mmu_cfg() local191 ttbcr = TTBCR_EAE_BIT; in setup_mmu_cfg()199 ttbcr |= TTBCR_EPD1_BIT; in setup_mmu_cfg()208 ttbcr |= HTCR_RES1 | in setup_mmu_cfg()231 ttbcr |= (uint32_t) t0sz; in setup_mmu_cfg()240 ttbcr |= TTBCR_SH0_NON_SHAREABLE | TTBCR_RGN0_OUTER_NC | in setup_mmu_cfg()244 ttbcr |= TTBCR_SH0_INNER_SHAREABLE | TTBCR_RGN0_OUTER_WBA | in setup_mmu_cfg()258 params[MMU_CFG_TCR] = (uint64_t) ttbcr; in setup_mmu_cfg()
74 unsigned int mair0, ttbcr, sctlr; in enable_mmu_svc_mon() local98 ttbcr = TTBCR_EAE_BIT | in enable_mmu_svc_mon()103 ttbcr = TTBCR_EAE_BIT | in enable_mmu_svc_mon()107 ttbcr |= TTBCR_EPD1_BIT; in enable_mmu_svc_mon()108 write_ttbcr(ttbcr); in enable_mmu_svc_mon()
239 DEFINE_COPROCR_RW_FUNCS(ttbcr, TTBCR) in DEFINE_SYSREG_RW_FUNCS()
Completed in 4 milliseconds