vmcb_msrpm        162 arch/x86/kvm/svm.c 	u64 vmcb_msrpm;
vmcb_msrpm       3194 arch/x86/kvm/svm.c 	if (kvm_vcpu_read_guest(&svm->vcpu, svm->nested.vmcb_msrpm + offset, &value, 4))
vmcb_msrpm       3513 arch/x86/kvm/svm.c 		offset = svm->nested.vmcb_msrpm + (p * 4);
vmcb_msrpm       3587 arch/x86/kvm/svm.c 	svm->nested.vmcb_msrpm = nested_vmcb->control.msrpm_base_pa & ~0x0fffULL;