Searched refs:svm_vcpu_alloc_msrpm (Results 1 – 3 of 3) sorted by relevance
417 u32 *svm_vcpu_alloc_msrpm(void);
906 svm->nested.msrpm = svm_vcpu_alloc_msrpm(); in svm_allocate_nested()
696 u32 *svm_vcpu_alloc_msrpm(void) in svm_vcpu_alloc_msrpm() function1365 svm->msrpm = svm_vcpu_alloc_msrpm(); in svm_create_vcpu()
