1 /* 2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 6 #define KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 7 8 9 #include <SupportDefs.h> 10 11 12 #if B_HAIKU_PHYSICAL_BITS == 64 13 14 15 // TODO:... 16 17 18 #endif // B_HAIKU_PHYSICAL_BITS == 64 19 20 21 #endif // KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 22