Searched refs:TCR_DS (Results 1 – 2 of 2) sorted by relevance
105 #define TCR_DS (UL(1) << 59) macro
384 tcr_el1 |= TCR_DS; in aarch64_vcpu_setup()