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