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
|
|
|
|
2012-11-17 04:53:09 +07:00
|
|
|
#ifndef __ASSEMBLY__
|
|
|
|
|
|
|
|
/* duplicated to the one in bootmem.h */
|
|
|
|
extern unsigned long max_pfn;
|
|
|
|
extern unsigned long phys_base;
|
|
|
|
|
|
|
|
extern unsigned long __phys_addr(unsigned long);
|
|
|
|
|
|
|
|
#define __phys_reloc_hide(x) (x)
|
|
|
|
|
|
|
|
#ifdef CONFIG_FLATMEM
|
|
|
|
#define pfn_valid(pfn) ((pfn) < max_pfn)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
void clear_page(void *page);
|
|
|
|
void copy_page(void *to, void *from);
|
|
|
|
|
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
|
2008-10-23 12:26:29 +07:00
|
|
|
#endif /* _ASM_X86_PAGE_64_H */
|