1 #ifndef __ACPI_REBOOT_H
2 #define __ACPI_REBOOT_H
3 
4 #ifdef CONFIG_ACPI
5 extern void acpi_reboot(void);
6 #else
acpi_reboot(void)7 static inline void acpi_reboot(void) { }
8 #endif
9 
10 #endif
11 
12