Changeset 43197 in vbox

Timestamp:

Sep 5, 2012 10:45:32 AM (12 years ago)

Author:

vboxsync

Message:

PGMAllPool: @todo marked some long dead code.

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp

@@ -5410 +5410 @@
     {
         PPGMPOOLPAGE pPage = &pPool->aPages[i];
+
+        /** @todo r=bird: Is this code still needed in any way?  The special root
+         *        pages should not be monitored or anything these days AFAIK. */
+        Assert(pPage->iNext == NIL_PGMPOOL_IDX);
+        Assert(pPage->iModifiedNext == NIL_PGMPOOL_IDX);
+        Assert(pPage->iModifiedPrev == NIL_PGMPOOL_IDX);
+        Assert(pPage->iMonitoredNext == NIL_PGMPOOL_IDX);
+        Assert(pPage->iMonitoredPrev == NIL_PGMPOOL_IDX);
+        Assert(!pPage->fMonitored);
+
         pPage->iNext = NIL_PGMPOOL_IDX;
         pPage->iModifiedNext = NIL_PGMPOOL_IDX;