Searched refs:TCR_EPD1_MASK (Results 1 – 6 of 6) sorted by relevance
54 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in __tlb_switch_to_guest()
100 write_sysreg_el1(val | TCR_EPD1_MASK | TCR_EPD0_MASK, SYS_TCR); in __deactivate_traps()
37 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in __tlb_switch_to_guest()
216 #define TCR_EPD1_MASK (UL(1) << TCR_EPD1_SHIFT) macro
115 TCR_EPD1_MASK | TCR_EPD0_MASK), in __sysreg_restore_el1_state()
1746 tcr |= TCR_EPD1_MASK; in cpu_prepare_hyp_mode()