#define PAGE_ORDER_2M 9
#define PAGE_ORDER_1G 18
-#define _PAGE_PRESENT 0x001
-#define _PAGE_RW 0x002
-#define _PAGE_USER 0x004
-#define _PAGE_ACCESSED 0x020
-#define _PAGE_DIRTY 0x040
+#define _PAGE_PRESENT 0x0001
+#define _PAGE_RW 0x0002
+#define _PAGE_USER 0x0004
+#define _PAGE_PWT 0x0008
+#define _PAGE_PCD 0x0010
+#define _PAGE_ACCESSED 0x0020
+#define _PAGE_DIRTY 0x0040
#define _PAGE_AD (_PAGE_ACCESSED | _PAGE_DIRTY)
-#define _PAGE_PSE 0x080
+#define _PAGE_PSE 0x0080
+#define _PAGE_PAT 0x0080
+#define _PAGE_GLOBAL 0x0100
+#define _PAGE_AVAIL 0x0e00
+#define _PAGE_PSE_PAT 0x1000
+#define _PAGE_NX (_AC(1, ULL) << 63)
#if CONFIG_PAGING_LEVELS == 2 /* PSE Paging */