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