Index: /trunk/src/VBox/VMM/PGMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/PGMInternal.h	(revision 22747)
+++ /trunk/src/VBox/VMM/PGMInternal.h	(revision 22748)
@@ -1468,4 +1468,5 @@
 /** The NIL index for the parent chain. */
 #define NIL_PGMPOOL_USER_INDEX          ((uint16_t)0xffff)
+#define NIL_PGMPOOL_PRESENT_INDEX       ((uint16_t)0xffff)
 
 /**
Index: /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 22747)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 22748)
@@ -1383,8 +1383,8 @@
 {
     unsigned cErrors = 0;
-    Assert(pPage->iFirstPresent != ~0);
 #ifdef VBOX_STRICT
-    for (unsigned i = 0; i < pPage->iFirstPresent; i++)
-        AssertMsg(!pShwPT->a[i].n.u1Present, ("Unexpected PTE: idx=%d %RX64 (first=%d)\n", i, pShwPT->a[i].u,  pPage->iFirstPresent));
+    if (pPage->iFirstPresent != NIL_PGMPOOL_PRESENT_INDEX);
+        for (unsigned i = 0; i < pPage->iFirstPresent; i++)
+            AssertMsg(!pShwPT->a[i].n.u1Present, ("Unexpected PTE: idx=%d %RX64 (first=%d)\n", i, pShwPT->a[i].u,  pPage->iFirstPresent));
 #endif
     for (unsigned i = pPage->iFirstPresent; i < RT_ELEMENTS(pShwPT->a); i++)
@@ -1444,8 +1444,8 @@
     unsigned cChanged = 0;
 
-    Assert(pPage->iFirstPresent != ~0);
 #ifdef VBOX_STRICT
-    for (unsigned i = 0; i < pPage->iFirstPresent; i++)
-        AssertMsg(!pShwPT->a[i].n.u1Present, ("Unexpected PTE: idx=%d %RX64 (first=%d)\n", i, pShwPT->a[i].u,  pPage->iFirstPresent));
+    if (pPage->iFirstPresent != NIL_PGMPOOL_PRESENT_INDEX);
+        for (unsigned i = 0; i < pPage->iFirstPresent; i++)
+            AssertMsg(!pShwPT->a[i].n.u1Present, ("Unexpected PTE: idx=%d %RX64 (first=%d)\n", i, pShwPT->a[i].u,  pPage->iFirstPresent));
 #endif
     for (unsigned i = pPage->iFirstPresent; i < RT_ELEMENTS(pShwPT->a); i++)
@@ -2523,5 +2523,5 @@
 #ifdef PGMPOOL_WITH_USER_TRACKING
                         pPage->cPresent = 0;
-                        pPage->iFirstPresent = ~0;
+                        pPage->iFirstPresent = NIL_PGMPOOL_PRESENT_INDEX;
 #endif
                     }
@@ -4667,5 +4667,5 @@
 #ifdef PGMPOOL_WITH_USER_TRACKING
     pPage->cPresent = 0;
-    pPage->iFirstPresent = ~0;
+    pPage->iFirstPresent = NIL_PGMPOOL_PRESENT_INDEX;
     pPage->pvLastAccessHandlerFault = 0;
     pPage->cLastAccessHandlerCount  = 0;