#ifndef _ASM_X86_PAGE_64_H #define _ASM_X86_PAGE_64_H #include <asm/page_64_types.h> #endif /* _ASM_X86_PAGE_64_H */