Symbol: snp_is_secure_tsc_enabled
arch/x86/kvm/svm/sev.c
2280
if (snp_is_secure_tsc_enabled(kvm)) {
arch/x86/kvm/svm/sev.c
4656
!snp_is_secure_tsc_enabled(vcpu->kvm));
arch/x86/kvm/svm/sev.c
4798
vcpu->arch.guest_tsc_protected = snp_is_secure_tsc_enabled(vcpu->kvm);