4d3870431d17 ^
5f561d3be8f0 ^
1 2 3 4 5 6 7 8
9
10 11
#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