Searched refs:TCR_EPD1_BIT (Results 1 – 3 of 3) sorted by relevance
189 TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT),
263 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in enable_mmu_arch()
353 #define TCR_EPD1_BIT (U(1) << 23) macro