1 #ifndef _ASM_X86_PAGE_64_H
2 #define _ASM_X86_PAGE_64_H
4 #include <asm/page_64_types.h>
8 /* duplicated to the one in bootmem.h */
9 extern unsigned long max_pfn;
10 extern unsigned long phys_base;
12 static inline unsigned long __phys_addr_nodebug(unsigned long x)
14 unsigned long y = x - __START_KERNEL_map;
16 /* use the carry flag to determine if x was < __START_KERNEL_map */
17 x = y + ((x > y) ? phys_base : (__START_KERNEL_map - PAGE_OFFSET));
22 #ifdef CONFIG_DEBUG_VIRTUAL
23 extern unsigned long __phys_addr(unsigned long);
24 extern unsigned long __phys_addr_symbol(unsigned long);
26 #define __phys_addr(x) __phys_addr_nodebug(x)
27 #define __phys_addr_symbol(x) \
28 ((unsigned long)(x) - __START_KERNEL_map + phys_base)
31 #define __phys_reloc_hide(x) (x)
34 #define pfn_valid(pfn) ((pfn) < max_pfn)
37 void clear_page(void *page);
38 void copy_page(void *to, void *from);
40 #endif /* !__ASSEMBLY__ */
42 #ifdef CONFIG_X86_VSYSCALL_EMULATION
43 # define __HAVE_ARCH_GATE_AREA 1
46 #endif /* _ASM_X86_PAGE_64_H */