#ifdef CONFIG_X86_64
#include <asm/page_64.h>
+#define max_pfn_mapped end_pfn_map
#else
#include <asm/page_32.h>
+#define max_pfn_mapped max_low_pfn
#endif /* CONFIG_X86_64 */
#define PAGE_OFFSET ((unsigned long)__PAGE_OFFSET)
#ifndef __ASSEMBLY__
+
+extern int page_is_ram(unsigned long pagenr);
+
struct page;
static void inline clear_user_page(void *page, unsigned long vaddr,