1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Copyright (C) Linaro.
4  * Copyright (C) Huawei Futurewei Technologies.
5  */
6 
7 #include <linux/crash_core.h>
8 #include <asm/memory.h>
9 
arch_crash_save_vmcoreinfo(void)10 void arch_crash_save_vmcoreinfo(void)
11 {
12 	VMCOREINFO_NUMBER(VA_BITS);
13 	/* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */
14 	vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n",
15 						kimage_voffset);
16 	vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n",
17 						PHYS_OFFSET);
18 	vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset());
19 }
20