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