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