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}