Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17206)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17207)
@@ -4791,5 +4791,7 @@
            || PGM_SHW_TYPE == PGM_TYPE_AMD64))
 
+#  if PGM_GST_TYPE != PGM_TYPE_REAL
     Assert(!HWACCMIsNestedPagingActive(pVM));
+#  endif
 
 # ifndef PGM_WITHOUT_MAPPINGS