Searched refs:vmcb_msrpm (Results 1 – 1 of 1) sorted by relevance
168 u64 vmcb_msrpm; member3113 if (kvm_vcpu_read_guest(&svm->vcpu, svm->nested.vmcb_msrpm + offset, &value, 4)) in nested_svm_exit_handled_msr()3411 offset = svm->nested.vmcb_msrpm + (p * 4); in nested_svm_vmrun_msrpm()3486 svm->nested.vmcb_msrpm = nested_vmcb->control.msrpm_base_pa & ~0x0fffULL; in enter_svm_guest_mode()
