1 // SPDX-License-Identifier: GPL-2.0-only 2 3 #include <linux/vmcore_info.h> 4 #include <linux/mm.h> 5 6 void arch_crash_save_vmcoreinfo(void) 7 { 8 #ifdef CONFIG_NUMA 9 VMCOREINFO_SYMBOL(node_data); 10 VMCOREINFO_LENGTH(node_data, MAX_NUMNODES); 11 #endif 12 #ifdef CONFIG_X2TLB 13 VMCOREINFO_CONFIG(X2TLB); 14 #endif 15 } 16