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 #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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.