Index: /trunk/src/VBox/VMM/VMMAll/PGMAllGst.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllGst.h	(revision 30889)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllGst.h	(revision 30890)
@@ -258,5 +258,5 @@
         /* The RW and US flags are determined via bitwise AND across all levels. */
 # if PGM_WITH_NX(PGM_GST_TYPE, PGM_GST_TYPE)
-        bool    fUpperNx    = 0
+        uint32_t fUpperNx   = 0
 #  if PGM_GST_TYPE == PGM_TYPE_AMD64
                             | Walk.Pml4e.n.u1NoExecute