Searched refs:TCR_EPD0_MASK (Results 1 – 6 of 6) 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()
242 #define TCR_EPD0_MASK (UL(1) << TCR_EPD0_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()