1 // SPDX-License-Identifier: GPL-2.0-only
2 
3 #include <linux/vmcore_info.h>
4 
arch_crash_save_vmcoreinfo(void)5 void arch_crash_save_vmcoreinfo(void)
6 {
7 #ifdef CONFIG_ARM_LPAE
8 	VMCOREINFO_CONFIG(ARM_LPAE);
9 #endif
10 }
11