1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ACPI_REBOOT_H 2 #ifndef __ACPI_REBOOT_H
3 #define __ACPI_REBOOT_H 3 #define __ACPI_REBOOT_H
4 4
5 #ifdef CONFIG_ACPI 5 #ifdef CONFIG_ACPI
6 extern void acpi_reboot(void); 6 extern void acpi_reboot(void);
7 #else 7 #else
8 static inline void acpi_reboot(void) { } 8 static inline void acpi_reboot(void) { }
9 #endif 9 #endif
10 10
11 #endif 11 #endif
12 12
13 13
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.