2008-10-22 22:26:29 -07:00
|
|
|
#ifndef _ASM_X86_PAGE_64_H
|
|
|
|
#define _ASM_X86_PAGE_64_H
|
2005-04-16 15:20:36 -07:00
|
|
|
|
2009-02-08 23:52:14 -07:00
|
|
|
#include <asm/page_64_types.h>
|
2008-01-30 05:32:41 -07:00
|
|
|
|
2008-10-22 22:26:29 -07:00
|
|
|
#endif /* _ASM_X86_PAGE_64_H */
|