1// SPDX-License-Identifier: GPL-2.0-only
2
3#include <linux/vmcore_info.h>
4#include <linux/pgtable.h>
5
6#include <asm/setup.h>
7
8void arch_crash_save_vmcoreinfo(void)
9{
10 u64 sme_mask = sme_me_mask;
11
12 VMCOREINFO_NUMBER(phys_base);
13 VMCOREINFO_SYMBOL(init_top_pgt);
14 vmcoreinfo_append_str(fmt: "NUMBER(pgtable_l5_enabled)=%d\n",
15 pgtable_l5_enabled());
16
17#ifdef CONFIG_NUMA
18 VMCOREINFO_SYMBOL(node_data);
19 VMCOREINFO_LENGTH(node_data, MAX_NUMNODES);
20#endif
21 vmcoreinfo_append_str(fmt: "KERNELOFFSET=%lx\n", kaslr_offset());
22 VMCOREINFO_NUMBER(KERNEL_IMAGE_SIZE);
23 VMCOREINFO_NUMBER(sme_mask);
24}
25