Searched refs:svm_vcpu_free_msrpm (Results 1 – 3 of 3) sorted by relevance
787 void svm_vcpu_free_msrpm(void *msrpm);
1466 svm_vcpu_free_msrpm(svm->nested.msrpm); in svm_free_nested()
743 void svm_vcpu_free_msrpm(void *msrpm) in svm_vcpu_free_msrpm() function1365 svm_vcpu_free_msrpm(svm->msrpm); in svm_vcpu_free()