1 /* SPDX-License-Identifier: GPL-2.0 */ 1 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.