Searched refs:vmcb_msrpm (Results 1 – 1 of 1) sorted by relevance
104 u64 vmcb_msrpm; member2190 if (kvm_read_guest(svm->vcpu.kvm, svm->nested.vmcb_msrpm + offset, &value, 4)) in nested_svm_exit_handled_msr()2459 offset = svm->nested.vmcb_msrpm + (p * 4); in nested_svm_vmrun_msrpm()2594 svm->nested.vmcb_msrpm = nested_vmcb->control.msrpm_base_pa & ~0x0fffULL; in nested_svm_vmrun()