Searched refs:svm_vcpu_alloc_msrpm (Results 1 – 2 of 2) sorted by relevance
599 u32 *svm_vcpu_alloc_msrpm(void);
871 u32 *svm_vcpu_alloc_msrpm(void) in svm_vcpu_alloc_msrpm() function1456 svm->msrpm = svm_vcpu_alloc_msrpm(); in svm_vcpu_create()