1#ifndef __ACPI_REBOOT_H
 2#define __ACPI_REBOOT_H
 3
 4#ifdef CONFIG_ACPI
 5extern void acpi_reboot(void);
 6#else
 7static inline void acpi_reboot(void) { }
 8#endif
 9
10#endif
11

 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