/* SPDX-License-Identifier: GPL-2.0 */ #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