1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
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 |
10 | |
11 | #endif |
12 | |
13 |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
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 |
10 | |
11 | #endif |
12 | |
13 |