Searched refs:TCR_EPD1_BIT (Results 1 – 3 of 3) sorted by relevance
223 TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT),
278 tcr |= TCR_EPD1_BIT | (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in setup_mmu_cfg()
519 #define TCR_EPD1_BIT (ULL(1) << 23) macro