Symbol: TCR_DS
arch/arm64/kvm/at.c
56
return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS));
tools/testing/selftests/kvm/lib/arm64/processor.c
385
tcr_el1 |= TCR_DS;