Sign in
linux
/
linux
/
kernel
/
git
/
klassert
/
ipsec
/
ee44391eae5d1fabd6eacf89b3bb2e3fbc315e7d
/
.
/
include
/
acpi
/
reboot.h
blob: 8857f57e0b7804d0e931c8d05876913b09b052a0 [
file
]
/*
* Dummy placeholder to make the EFI patches apply to the x86 tree.
* Andrew/Len, please just kill this file if you encounter it.
*/
#ifndef
acpi_reboot
# define acpi_reboot() do { } while (0)
#endif
