--- xen.orig/include/asm-x86/x86_64/page.h	2005-03-23 17:43:41.000000000 -0600
+++ xen/include/asm-x86/x86_64/page.h	2005-03-28 17:52:40.446429192 -0600
@@ -93,10 +93,11 @@ typedef l4_pgentry_t root_pgentry_t;
 
 #define _PAGE_NX         (cpu_has_nx ? (1UL<<63) : 0UL)
 
-#define L1_DISALLOW_MASK ((cpu_has_nx?0:(1UL<<63)) | (3UL << 7))
-#define L2_DISALLOW_MASK ((cpu_has_nx?0:(1UL<<63)) | (7UL << 7))
-#define L3_DISALLOW_MASK ((cpu_has_nx?0:(1UL<<63)) | (7UL << 7))
-#define L4_DISALLOW_MASK ((cpu_has_nx?0:(1UL<<63)) | (7UL << 7))
+#define L1_DISALLOW_MASK ((cpu_has_nx?(1UL<<63):0) | (3UL << 7))
+#define L2_DISALLOW_MASK ((cpu_has_nx?(1UL<<63):0) | (7UL << 7))
+#define L3_DISALLOW_MASK ((cpu_has_nx?(1UL<<63):0) | (7UL << 7))
+#define L4_DISALLOW_MASK ((cpu_has_nx?(1UL<<63):0) | (7UL << 7))
+
 
 #endif /* __X86_64_PAGE_H__ */