Changeset 9684 in vbox

Timestamp:

Jun 13, 2008 1:32:37 PM (17 years ago)

Author:

vboxsync

Message:

Correction

File:

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

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

@@ -3017 +3017 @@
                     }
                 }
+                pgmPoolFreeByPage(pPool, pgmPoolGetPage(pPool, pVM->pgm.s.CTXMID(p,PaePML4)->a[iPML4E].u & SHW_PDE_PG_MASK), PGMPOOL_IDX_PML4, iPML4E);
+                pVM->pgm.s.CTXMID(p,PaePML4)->a[iPML4E].u = 0;
             }
-            pgmPoolFreeByPage(pPool, pgmPoolGetPage(pPool, pVM->pgm.s.CTXMID(p,PaePML4)->a[iPML4E].u & SHW_PDE_PG_MASK), PGMPOOL_IDX_PML4, iPML4E);
-            pVM->pgm.s.CTXMID(p,PaePML4)->a[iPML4E].u = 0;
             continue;
         }