Searched refs:TCR_DS (Results 1 – 5 of 5) sorted by relevance
138 u64 tcr = read_sysreg(tcr_el1) | TCR_DS; in set_ttbr0_for_lpa2()
87 return read_tcr() & TCR_DS; in lpa2_is_enabled()
331 #define TCR_DS (UL(1) << 59) macro
482 orr tcr, tcr, #TCR_DS
294 lva &= tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS); in setup_s1_walk()298 lva &= tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS); in setup_s1_walk()