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 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