Searched refs:ttbcr (Results 1 – 3 of 3) sorted by relevance
822 uint32_t ttbcr = 0; in core_init_mmu_regs() local832 ttbcr = TTBCR_EAE; in core_init_mmu_regs()833 ttbcr |= TTBCR_XRGNX_WBWA << TTBCR_IRGN0_SHIFT; in core_init_mmu_regs()834 ttbcr |= TTBCR_XRGNX_WBWA << TTBCR_ORGN0_SHIFT; in core_init_mmu_regs()835 ttbcr |= TTBCR_SHX_ISH << TTBCR_SH0_SHIFT; in core_init_mmu_regs()836 ttbcr |= TTBCR_EPD1; /* Disable the use of TTBR1 */ in core_init_mmu_regs()839 cfg->ttbcr = ttbcr; in core_init_mmu_regs()
780 cfg->ttbcr = TTBCR_N_VALUE; in core_init_mmu_regs()
327 uint32_t ttbcr;336 uint32_t ttbcr;
Completed in 8 milliseconds