Index: /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 22748)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 22749)
@@ -1384,7 +1384,6 @@
     unsigned cErrors = 0;
 #ifdef VBOX_STRICT
-    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));
+    for (unsigned i = 0; i < RT_MIN(RT_ELEMENTS(pShwPT->a), 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++)
@@ -1445,7 +1444,6 @@
 
 #ifdef VBOX_STRICT
-    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));
+    for (unsigned i = 0; i < RT_MIN(RT_ELEMENTS(pShwPT->a), 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++)