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