1 2 /* 3 * Dummy placeholder to make the EFI patches apply to the x86 tree. 4 * Andrew/Len, please just kill this file if you encounter it. 5 */ 6 #ifndef acpi_reboot 7 # define acpi_reboot() do { } while (0) 8 #endif 9 10