1*b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 24d387043SAaron Durbin #ifndef __ACPI_REBOOT_H 34d387043SAaron Durbin #define __ACPI_REBOOT_H 45f561d3bSIngo Molnar 54d387043SAaron Durbin #ifdef CONFIG_ACPI 64d387043SAaron Durbin extern void acpi_reboot(void); 74d387043SAaron Durbin #else 84d387043SAaron Durbin static inline void acpi_reboot(void) { } 94d387043SAaron Durbin #endif 104d387043SAaron Durbin 115f561d3bSIngo Molnar #endif 125f561d3bSIngo Molnar 13