184c57dbdSJames Morse // SPDX-License-Identifier: GPL-2.0 284c57dbdSJames Morse /* 384c57dbdSJames Morse * Copyright (C) Linaro. 484c57dbdSJames Morse * Copyright (C) Huawei Futurewei Technologies. 584c57dbdSJames Morse */ 684c57dbdSJames Morse 784c57dbdSJames Morse #include <linux/crash_core.h> 884c57dbdSJames Morse #include <asm/memory.h> 984c57dbdSJames Morse 1084c57dbdSJames Morse void arch_crash_save_vmcoreinfo(void) 1184c57dbdSJames Morse { 1284c57dbdSJames Morse VMCOREINFO_NUMBER(VA_BITS); 1384c57dbdSJames Morse /* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */ 1484c57dbdSJames Morse vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n", 1584c57dbdSJames Morse kimage_voffset); 1684c57dbdSJames Morse vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n", 1784c57dbdSJames Morse PHYS_OFFSET); 1884c57dbdSJames Morse vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset()); 1984c57dbdSJames Morse } 20