Searched refs:ttbcr (Results 1 – 4 of 4) sorted by relevance
96 u_register_t mair0, ttbcr, sctlr; in enable_mmu_arch() local120 ttbcr = TTBCR_EAE_BIT; in enable_mmu_arch()126 ttbcr |= TTBCR_EPD1_BIT; in enable_mmu_arch()140 ttbcr |= 32 - __builtin_ctzll(virtual_addr_space_size); in enable_mmu_arch()149 ttbcr |= TTBCR_SH0_NON_SHAREABLE | TTBCR_RGN0_OUTER_NC | in enable_mmu_arch()153 ttbcr |= TTBCR_SH0_INNER_SHAREABLE | TTBCR_RGN0_OUTER_WBA | in enable_mmu_arch()169 write_ttbcr(ttbcr); in enable_mmu_arch()
66 unsigned int mair0, ttbcr, sctlr; in enable_mmu_secure() local88 ttbcr = TTBCR_EAE_BIT | in enable_mmu_secure()94 ttbcr = TTBCR_EAE_BIT | in enable_mmu_secure()99 ttbcr |= TTBCR_EPD1_BIT; in enable_mmu_secure()100 write_ttbcr(ttbcr); in enable_mmu_secure()
302 UINT64 ttbcr, ttbr0, ttbr1; member
245 DEFINE_COPROCR_RW_FUNCS(ttbcr, TTBCR)