Searched refs:TCR_DS (Results 1 – 3 of 3) sorted by relevance
101 #define TCR_DS (UL(1) << 59) macro
388 tcr_el1 |= TCR_DS; in aarch64_vcpu_setup()
56 return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS)); in has_52bit_pa()