-#define _PAGE_PRESENT 0x001
-#define _PAGE_RW 0x002
-#define _PAGE_USER 0x004
-#define _PAGE_PWT 0x008
-#define _PAGE_PCD 0x010
-#define _PAGE_ACCESSED 0x020
-#define _PAGE_DIRTY 0x040
-#define _PAGE_PSE 0x080 /* 2MB page */
-#define _PAGE_FILE 0x040 /* nonlinear file mapping, saved PTE; unset:swap */
-#define _PAGE_GLOBAL 0x100 /* Global TLB entry */
+#define _PAGE_PRESENT (_AC(1,UL)<<_PAGE_BIT_PRESENT)
+#define _PAGE_RW (_AC(1,UL)<<_PAGE_BIT_RW)
+#define _PAGE_USER (_AC(1,UL)<<_PAGE_BIT_USER)
+#define _PAGE_PWT (_AC(1,UL)<<_PAGE_BIT_PWT)
+#define _PAGE_PCD (_AC(1,UL)<<_PAGE_BIT_PCD)
+#define _PAGE_ACCESSED (_AC(1,UL)<<_PAGE_BIT_ACCESSED)
+#define _PAGE_DIRTY (_AC(1,UL)<<_PAGE_BIT_DIRTY)
+/* 2MB page */
+#define _PAGE_PSE (_AC(1,UL)<<_PAGE_BIT_PSE)
+/* nonlinear file mapping, saved PTE; unset:swap */
+#define _PAGE_FILE (_AC(1,UL)<<_PAGE_BIT_FILE)
+/* Global TLB entry */
+#define _PAGE_GLOBAL (_AC(1,UL)<<_PAGE_BIT_GLOBAL)