2008-10-23 12:26:29 +07:00
|
|
|
#ifndef _ASM_X86_PAGE_64_H
|
|
|
|
#define _ASM_X86_PAGE_64_H
|
2005-04-17 05:20:36 +07:00
|
|
|
|
2009-02-09 13:52:14 +07:00
|
|
|
#include <asm/page_64_types.h>
|
2008-01-30 19:32:41 +07:00
|
|
|
|
2008-10-23 12:26:29 +07:00
|
|
|
#endif /* _ASM_X86_PAGE_64_H */
|