1*950b24e3SAlex Smith /* 2*950b24e3SAlex Smith * Copyright 2012, Alex Smith, alex@alex-smith.me.uk. 3*950b24e3SAlex Smith * Distributed under the terms of the MIT License. 4*950b24e3SAlex Smith */ 5*950b24e3SAlex Smith #ifndef KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 6*950b24e3SAlex Smith #define KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 7*950b24e3SAlex Smith 8*950b24e3SAlex Smith 9*950b24e3SAlex Smith #include <OS.h> 10*950b24e3SAlex Smith 11*950b24e3SAlex Smith 12*950b24e3SAlex Smith #endif // KERNEL_ARCH_X86_PAGING_PAE_PAGING_H 13