*/
#ifdef __KERNEL__
-#include <linux/config.h>
#include <asm/asm-compat.h>
#include <asm/kdump.h>
struct page *p);
extern int page_is_ram(unsigned long pfn);
+struct vm_area_struct;
+extern const char *arch_vma_name(struct vm_area_struct *vma);
+
#include <asm-generic/memory_model.h>
#endif /* __ASSEMBLY__ */