Symbol: TCR_EL2_DS
arch/arm64/include/asm/kvm_nested.h
26
((tcr & TCR_EL2_DS) ? TCR_DS : 0) |
arch/arm64/kvm/arm.c
2166
tcr |= TCR_EL2_DS;
arch/arm64/kvm/at.c
49
return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS));