Sign in
linux
/
linux
/
kernel
/
git
/
gregkh
/
driver-core
/
9f162193d6e48eb4ff51c2ea3612f1daebca1b7e
/
.
/
include
/
acpi
/
reboot.h
blob: 14122fc55bbe617b36bfc99e3e6fc6e0cf0d85d0 [
file
] [
log
] [
blame
]
/* SPDX-License-Identifier: GPL-2.0 */
#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