Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 49863)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 49864)
@@ -9188,6 +9188,7 @@
 
         /** @todo Checks on Guest Page-Directory-Pointer-Table Entries when guest is
-         *        in IA-32e Paging Mode (AMD64 Paging). */
+         *        not using Nested Paging? */
         if (   pVM->hm.s.fNestedPaging
+            && !fLongModeGuest
             && CPUMIsGuestInPAEModeEx(pCtx))
         {