Searched refs:TCR_EPD1_MASK (Results 1 – 4 of 4) sorted by relevance
87 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in enter_vmid_context()
44 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in enter_vmid_context()
317 (tcr & (va55 ? TCR_EPD1_MASK : TCR_EPD0_MASK))) in setup_s1_walk()
1997 tcr |= TCR_EPD1_MASK; in cpu_prepare_hyp_mode()