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