Changeset 10027 in vbox for trunk/src/VBox/VMM

Timestamp:

Jun 30, 2008 4:45:41 PM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

32510

Message:

Corrected check for flushing shadow pml4. Extended check for nested paging case.

File:

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

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

@@ -3468 +3468 @@
      * Quietly reject any attempts at flushing the currently active shadow CR3 mapping
      */
-    if (    pPage->idx == PGMPOOL_IDX_AMD64_CR3
+    if (    (   pPage->enmKind == PGMPOOLKIND_64BIT_PML4_FOR_64BIT_PML4
+             || pPage->enmKind == PGMPOOLKIND_64BIT_PML4_FOR_PHYS)
         &&  PGMGetHyperCR3(CTXSUFF(pPool->pVM)) == pPage->Core.Key)
     {