Index: /trunk/src/VBox/VMM/PGMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/PGMInternal.h	(revision 31053)
+++ /trunk/src/VBox/VMM/PGMInternal.h	(revision 31054)
@@ -3125,4 +3125,8 @@
     /** A20 gate state - boolean! */
     bool                            fA20Enabled;
+    /** Mirror of the EFER.NXE bit. */
+    bool                            fNoExecuteEnabled;
+    /** Unused bits. */
+    bool                            afUnused[2];
 
     /** What needs syncing (PGM_SYNC_*).
Index: /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 31053)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 31054)
@@ -2159,4 +2159,5 @@
 {
     Log(("PGMNotifyNxeChanged: fNxe=%RTbool\n", fNxe));
+    pVCpu->pgm.s.fNoExecuteEnabled = fNxe;
     if (fNxe)
     {