Symbol: TCR_EL2_DS
arch/arm64/kvm/arm.c
2086
tcr |= TCR_EL2_DS;
arch/arm64/kvm/at.c
56
return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS));