2017-11-01 15:07:57 +01:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2008-07-16 23:27:08 +02: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
|
2008-01-30 13:31:17 +01:00
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
