PTE_NX
#define PTE_NX 0x8000000000000000 /* No Execute */
#define PTE_NX 0x8000000000000000ULL /* No Execute */
#define PTE_NX 0 /* Dummy */