Searched refs:svm_vcpu_free_msrpm (Results 1 – 3 of 3) sorted by relevance
354 void svm_vcpu_free_msrpm(u32 *msrpm);
774 svm_vcpu_free_msrpm(svm->nested.msrpm); in svm_free_nested()
697 void svm_vcpu_free_msrpm(u32 *msrpm) in svm_vcpu_free_msrpm() function