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;