|
@@ -18,6 +18,7 @@
|
|
|
|
|
|
#include <asm/cacheflush.h>
|
|
#include <asm/cacheflush.h>
|
|
#include <asm/cpu_ops.h>
|
|
#include <asm/cpu_ops.h>
|
|
|
|
+#include <asm/memory.h>
|
|
#include <asm/mmu.h>
|
|
#include <asm/mmu.h>
|
|
#include <asm/mmu_context.h>
|
|
#include <asm/mmu_context.h>
|
|
#include <asm/page.h>
|
|
#include <asm/page.h>
|
|
@@ -351,3 +352,13 @@ void crash_free_reserved_phys_range(unsigned long begin, unsigned long end)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
#endif /* CONFIG_HIBERNATION */
|
|
#endif /* CONFIG_HIBERNATION */
|
|
|
|
+
|
|
|
|
+void arch_crash_save_vmcoreinfo(void)
|
|
|
|
+{
|
|
|
|
+ VMCOREINFO_NUMBER(VA_BITS);
|
|
|
|
+ /* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */
|
|
|
|
+ vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n",
|
|
|
|
+ kimage_voffset);
|
|
|
|
+ vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n",
|
|
|
|
+ PHYS_OFFSET);
|
|
|
|
+}
|