Searched refs:TTBCR_EPD1_BIT (Results 1 – 3 of 3) sorted by relevance
107 ttbcr |= TTBCR_EPD1_BIT; in enable_mmu_svc_mon()
182 ttbcr |= TTBCR_EPD1_BIT; in setup_mmu_cfg()
335 #define TTBCR_EPD1_BIT (U(1) << 23) macro