Searched refs:ttbcr (Results 1 – 3 of 3) sorted by relevance
159 uint32_t ttbcr; in setup_mmu_cfg() local174 ttbcr = TTBCR_EAE_BIT; in setup_mmu_cfg()182 ttbcr |= TTBCR_EPD1_BIT; in setup_mmu_cfg()191 ttbcr |= HTCR_RES1 | in setup_mmu_cfg()216 ttbcr |= (uint32_t) t0sz; in setup_mmu_cfg()225 ttbcr |= TTBCR_SH0_NON_SHAREABLE | TTBCR_RGN0_OUTER_NC | in setup_mmu_cfg()229 ttbcr |= TTBCR_SH0_INNER_SHAREABLE | TTBCR_RGN0_OUTER_WBA | in setup_mmu_cfg()243 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()
238 DEFINE_COPROCR_RW_FUNCS(ttbcr, TTBCR) in DEFINE_SYSREG_RW_FUNCS()