Sign in
zircon-guest
/
third_party
/
linux
/
862b9e18a0a33b79635122857ee9c20733542271
/
.
/
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