b2441318 |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
4d387043 AD |
2 | #ifndef __ACPI_REBOOT_H |
3 | #define __ACPI_REBOOT_H |
4 | |
5 | #ifdef CONFIG_ACPI |
6 | extern void acpi_reboot(void); |
7 | #else |
8 | static inline void acpi_reboot(void) { } |
9 | #endif |
5f561d3b |
10 | |
5f561d3b IM |
11 | #endif |
12 | |