Searched refs:TCR_EL2_DS (Results 1 – 3 of 3) sorted by relevance
111 #define TCR_EL2_DS (1UL << 32) macro
56 return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS)); in has_52bit_pa()
2086 tcr |= TCR_EL2_DS; in cpu_prepare_hyp_mode()