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