Index: /trunk/src/VBox/VMM/PGM.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGM.cpp	(revision 12416)
+++ /trunk/src/VBox/VMM/PGM.cpp	(revision 12417)
@@ -3250,4 +3250,5 @@
      */
     if (   pVM->pgm.s.CTXSUFF(pPool)
+        && !HWACCMIsNestedPagingActive(pVM)
         && PGMMODE_WITH_PAGING(pVM->pgm.s.enmGuestMode) != PGMMODE_WITH_PAGING(enmGuestMode))
     {