1 // SPDX-License-Identifier: GPL-2.0-only
2 
3 #include <linux/crash_core.h>
4 #include <linux/pgtable.h>
5 
6 #include <asm/setup.h>
7 
arch_crash_save_vmcoreinfo(void)8 void 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("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("KERNELOFFSET=%lx\n", kaslr_offset());
22 	VMCOREINFO_NUMBER(KERNEL_IMAGE_SIZE);
23 	VMCOREINFO_NUMBER(sme_mask);
24 }
25