TCR_DS
((tcr & TCR_EL2_DS) ? TCR_DS : 0) |
return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS));
tcr_el1 |= TCR_DS;