diff --git a/bsps/x86_64/include/libcpu/page.h b/bsps/x86_64/include/libcpu/page.h
index 1903ae975e..8cbae9a21e 100644
--- a/bsps/x86_64/include/libcpu/page.h
+++ b/bsps/x86_64/include/libcpu/page.h
@@ -60,9 +60,8 @@ void paging_init(void);
 #define PAGE_FLAGS_GLOBAL           (1 << 8)
 #define PAGE_FLAGS_NO_EXECUTE       (1 << 63)
 
-#define PAGE_FLAGS_DEFAULTS                                              \
-  (PAGE_FLAGS_PRESENT | PAGE_FLAGS_WRITABLE | PAGE_FLAGS_USER_ACCESSIBLE \
-   | PAGE_FLAGS_WRITE_THROUGH | PAGE_FLAGS_NO_CACHE | PAGE_FLAGS_GLOBAL)
+#define PAGE_FLAGS_DEFAULTS                                      \
+  (PAGE_FLAGS_PRESENT | PAGE_FLAGS_WRITABLE | PAGE_FLAGS_NO_CACHE)
 
 #endif /* !ASM */
 #endif