Changeset 26701 in vbox

Timestamp:

Feb 23, 2010 1:25:38 PM (15 years ago)

Author:

vboxsync

Message:

Paranoia & logging

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -1935 +1935 @@
     /* Can happen in the guest SMP case; other VCPU activated this PDE while we were blocking to handle the page fault. */
     if (PdeDst.n.u1Size)
+    {
+        Assert(HWACCMIsNestedPagingActive(pVM));
+        Log(("CPU%d: SyncPage: Pde (big) at %RGv changed behind our back!\n", GCPtrPage));
         return VINF_SUCCESS;
+    }
 
     Assert(cPages == 1 || !(uErr & X86_TRAP_PF_P));