device_ops: add device_t argument to acpi_inject_dsdt_generator

`device_t device` is missing as argument. Every device_op function
should have a `device_t device` argument.

Change-Id: I3fc8e0339fa46fe92cc39f7afa896ffd38c26c8d
Signed-off-by: Alexander Couzens <lynxis@fe80.eu>
Reviewed-on: http://review.coreboot.org/9597
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
diff --git a/src/include/device/device.h b/src/include/device/device.h
index 851c27d..36b8b86 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -58,7 +58,7 @@
 #if IS_ENABLED(CONFIG_HAVE_ACPI_TABLES)
 	unsigned long (*write_acpi_tables)(unsigned long start,  struct acpi_rsdp *rsdp);
 	void (*acpi_fill_ssdt_generator)(void);
-	void (*acpi_inject_dsdt_generator)(void);
+	void (*acpi_inject_dsdt_generator)(device_t dev);
 #endif
 	const struct pci_operations *ops_pci;
 	const struct smbus_bus_operations *ops_smbus_bus;