Sign in
akaros
/
akaros
/
d6471cf56952dd44e4fa30bdf5df03141307a491
/
.
/
user
/
vmm
/
include
/
vmm
/
acpi
/
reboot.h
blob: 03ff6ebcb64c6eb0653fe397a55a78395d8f2489 [
file
] [
log
] [
blame
]
#pragma
once
#ifdef
CONFIG_ACPI
extern
void
acpi_reboot
(
void
);
#else
static
inline
void
acpi_reboot
(
void
)
{
}
#endif
