Changeset 9110 in vbox for trunk

Timestamp:

May 26, 2008 10:01:07 AM (17 years ago)

Author:

vboxsync

Message:

Minor update

File:

• trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp (modified) (1 diff)

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

@@ -1046 +1046 @@
     /* Note: no reason to sync back the CRx and DRx registers. They can't be changed by the guest. */
     /* Note: only in the nested paging case can CR3 & CR4 be changed by the guest. */
-    if (pVM->hwaccm.s.fNestedPaging)
+    if (    pVM->hwaccm.s.fNestedPaging
+        &&  pCtx->cr3 != pVMCB->guest.u64CR3)
     {
         CPUMSetGuestCR3(pVM, pVMCB->guest.u64CR3);