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