Symbol: sev_free_vcpu
arch/x86/kvm/svm/svm.c
1299
sev_free_vcpu(vcpu);
arch/x86/kvm/svm/svm.c
1315
sev_free_vcpu(vcpu);
arch/x86/kvm/svm/svm.h
888
void sev_free_vcpu(struct kvm_vcpu *vcpu);