1 #ifndef _ASM_X86_PAGE_64_H
2 #define _ASM_X86_PAGE_64_H
3 
4 #include <asm/page_64_types.h>
5 
6 #endif /* _ASM_X86_PAGE_64_H */
7