Searched refs:svm_vcpu_free_msrpm (Results 1 – 3 of 3) sorted by relevance
686 void svm_vcpu_free_msrpm(void *msrpm);
1317 svm_vcpu_free_msrpm(svm->nested.msrpm); in svm_free_nested()
788 void svm_vcpu_free_msrpm(void *msrpm) in svm_vcpu_free_msrpm() function 1343 svm_vcpu_free_msrpm(svm->msrpm); in svm_vcpu_free()