On 12/18/2018 8:31 AM, Christoph Hellwig wrote:
@@ -44,8 +47,9 @@ void acpi_reboot(void) /* Write the value that resets us. */ pci_bus_write_config_byte(bus0, devfn, (rr->address & 0xffff), reset_value); +#endifThis would be a lot cleaner if this was split into a little helper function.
done.