1// SPDX-License-Identifier: GPL-2.0-only
 2
 3#include <linux/vmcore_info.h>
 4#include <linux/mm.h>
 5
 6void 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}