diff --git a/src/system/kernel/arch/x86/paging/pae/paging.h b/src/system/kernel/arch/x86/paging/pae/paging.h
index b8d72ad423..a3e4cb5acd 100644
--- a/src/system/kernel/arch/x86/paging/pae/paging.h
+++ b/src/system/kernel/arch/x86/paging/pae/paging.h
@@ -6,7 +6,7 @@
 #define KERNEL_ARCH_X86_PAGING_PAE_PAGING_H
 
 
-#include <SupportDefs.h>
+#include <OS.h>
 
 
 #if B_HAIKU_PHYSICAL_BITS == 64
@@ -55,6 +55,11 @@
 											| X86_PAE_PTE_CACHING_DISABLED)
 
 
+static const uint32 kPAEPageDirEntryCount = 512;
+static const uint32 kPAEPageTableEntryCount = 512;
+static const size_t kPAEPageTableRange = kPAEPageTableEntryCount * B_PAGE_SIZE;
+
+
 typedef uint64 pae_page_directory_pointer_table_entry;
 typedef uint64 pae_page_directory_entry;
 typedef uint64 pae_page_table_entry;