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 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