Symbol: svm_vcpu_free_msrpm
arch/x86/kvm/svm/nested.c
1387
svm_vcpu_free_msrpm(svm->nested.msrpm);
arch/x86/kvm/svm/svm.c
1318
svm_vcpu_free_msrpm(svm->msrpm);
arch/x86/kvm/svm/svm.h
716
void svm_vcpu_free_msrpm(void *msrpm);