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> 8203b1152SAmit Daniel Kachhap #include <asm/cpufeature.h> 984c57dbdSJames Morse #include <asm/memory.h> 1084c57dbdSJames Morse 1184c57dbdSJames Morse void arch_crash_save_vmcoreinfo(void) 1284c57dbdSJames Morse { 1384c57dbdSJames Morse VMCOREINFO_NUMBER(VA_BITS); 1484c57dbdSJames Morse /* Please note VMCOREINFO_NUMBER() uses "%d", not "%x" */ 1584c57dbdSJames Morse vmcoreinfo_append_str("NUMBER(kimage_voffset)=0x%llx\n", 1684c57dbdSJames Morse kimage_voffset); 1784c57dbdSJames Morse vmcoreinfo_append_str("NUMBER(PHYS_OFFSET)=0x%llx\n", 1884c57dbdSJames Morse PHYS_OFFSET); 1984c57dbdSJames Morse vmcoreinfo_append_str("KERNELOFFSET=%lx\n", kaslr_offset()); 20203b1152SAmit Daniel Kachhap vmcoreinfo_append_str("NUMBER(KERNELPACMASK)=0x%llx\n", 21203b1152SAmit Daniel Kachhap system_supports_address_auth() ? 22203b1152SAmit Daniel Kachhap ptrauth_kernel_pac_mask() : 0); 2384c57dbdSJames Morse } 24