Searched refs:TTBCR_EPD1 (Results 1 – 2 of 2) sorted by relevance
124 #define TTBCR_EPD1 BIT32(23) macro
1119 ttbcr |= TTBCR_EPD1; /* Disable the use of TTBR1 */ in core_init_mmu_regs()