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