2022-03-05 21:17:59 +05:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2021-10-27 18:46:41 +05:00
|
|
|
#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
|
|
|
|
|
|
