diff options
-rw-r--r-- | include/acpi/reboot.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/acpi/reboot.h b/include/acpi/reboot.h new file mode 100644 index 0000000..8857f57 --- /dev/null +++ b/include/acpi/reboot.h @@ -0,0 +1,9 @@ + +/* + * 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 + |