#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 ch/favicon.ico'/>