Searched refs:TCR_EPD1_MASK (Results 1 – 8 of 8) sorted by relevance
87 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in enter_vmid_context()
99 write_sysreg_el1(val | TCR_EPD1_MASK | TCR_EPD0_MASK, SYS_TCR); in __deactivate_traps()
44 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in enter_vmid_context()
25 return TCR_EPD1_MASK | /* disable TTBR1_EL1 */ in translate_tcr_el2_to_tcr_el1()
251 #define TCR_EPD1_MASK (UL(1) << TCR_EPD1_SHIFT) macro
170 TCR_EPD1_MASK | TCR_EPD0_MASK), in __sysreg_restore_el1_state()
249 (tcr & (va55 ? TCR_EPD1_MASK : TCR_EPD0_MASK))) in setup_s1_walk()
2029 tcr |= TCR_EPD1_MASK; in cpu_prepare_hyp_mode()