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 8void arch_crash_save_vmcoreinfo(void) 9{ 10#ifdef CONFIG_NUMA 11 VMCOREINFO_SYMBOL(node_data); 12 VMCOREINFO_LENGTH(node_data, MAX_NUMNODES); 13#endif 14#ifdef CONFIG_X86_PAE 15 VMCOREINFO_CONFIG(X86_PAE); 16#endif 17} 18