Searched refs:TCR_EPD1_BIT (Results 1 – 5 of 5) 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()
608 write_tcr_el1(read_tcr_el1() & ~(TCR_EPD0_BIT | TCR_EPD1_BIT)); \611 write_tcr_el1(read_tcr_el1() | (TCR_EPD0_BIT | TCR_EPD1_BIT)); \
650 #define TCR_EPD1_BIT (ULL(1) << 23) macro
923 orr x29, x29, #(TCR_EPD1_BIT)