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