Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 86553)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 86554)
@@ -1137,5 +1137,5 @@
     PX86PDEPAE  pPdeDst  = &pPDDst->a[iPDDst];
     Assert(pPDDst);
-    Assert(!(pPdptDst->a[iPdpt].u & X86_PDPE_P));
+    Assert(pPdptDst->a[iPdpt].u & X86_PDPE_P);
 
     /* Fetch the pgm pool shadow descriptor. */