reboot.h (201B)
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef __ACPI_REBOOT_H 3#define __ACPI_REBOOT_H 4 5#ifdef CONFIG_ACPI 6extern void acpi_reboot(void); 7#else 8static inline void acpi_reboot(void) { } 9#endif 10 11#endif 12