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