Searched refs:svm_vcpu_alloc_msrpm (Results 1 – 3 of 3) sorted by relevance
805 static inline void *svm_vcpu_alloc_msrpm(void)796 static inline void *svm_vcpu_alloc_msrpm(void) svm_vcpu_alloc_msrpm() function
1501 svm->nested.msrpm = svm_vcpu_alloc_msrpm(); in svm_allocate_nested()
1372 svm->msrpm = svm_vcpu_alloc_msrpm();