// SPDX-License-Identifier: GPL-2.0-only

#include <linux/vmcore_info.h>

void arch_crash_save_vmcoreinfo(void)
{
#ifdef CONFIG_ARM_LPAE
	VMCOREINFO_CONFIG(ARM_LPAE);
#endif
}