svm_vcpu_init_msrpm 2248 arch/x86/kvm/svm.c 	svm_vcpu_init_msrpm(svm->msrpm);
svm_vcpu_init_msrpm 2251 arch/x86/kvm/svm.c 	svm_vcpu_init_msrpm(svm->nested.msrpm);