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