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