reboot.h

 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