Index: /trunk/include/iprt/x86.h
===================================================================
--- /trunk/include/iprt/x86.h	(revision 62287)
+++ /trunk/include/iprt/x86.h	(revision 62288)
@@ -1383,4 +1383,5 @@
 /** Bit 11 - NXE - No-Execute Page Protection Enabled. (R/W) */
 #define  MSR_K6_EFER_NXE                     RT_BIT_32(11)
+#define  MSR_K6_EFER_BIT_NXE                 11 /**< Bit number of MSR_K6_EFER_NXE */
 /** Bit 12 - SVME - Secure VM Extension Enabled. (R/W) */
 #define  MSR_K6_EFER_SVME                    RT_BIT_32(12)
@@ -1565,4 +1566,6 @@
 /** Bit 8 -  G  - Global flag. */
 #define X86_PTE_BIT_G                       8
+/** Bits 63 - NX - PAE/LM - No execution flag. */
+#define X86_PTE_PAE_BIT_NX                  63
 
 /** Bit 0 -  P  - Present bit mask. */