Changeset 15389 in vbox for trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp

Timestamp:

Dec 12, 2008 5:19:26 PM (16 years ago)

Author:

vboxsync

Message:

Update the guest EFER VMCS field too.

File:

• trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp (modified) (2 diffs)

trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp

@@ -1572 +1572 @@
         pVCpu->hwaccm.s.vmx.pfnStartVM  = VMXR0StartVM32;
     }
+
+    /* Unconditionally update the guest EFER. */
+    rc = VMXWriteVMCS64(VMX_VMCS_GUEST_EFER_FULL, pCtx->msrEFER);
+    AssertRC(rc);
 
     vmxR0UpdateExceptionBitmap(pVM, pVCpu, pCtx);
@@ -3644 +3648 @@
     case VMX_VMCS_GUEST_PDPTR3_FULL:
     case VMX_VMCS_GUEST_DEBUGCTL_FULL:
+    case VMX_VMCS_GUEST_EFER_FULL:
     case VMX_VMCS_CTRL_EPTP_FULL:
         /* These fields consist of two parts, which are both writable in 32 bits mode. */