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
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