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/arch/x86/boot/acpi.c b/src/arch/x86/boot/acpi.c
index f0e56ea..ca52fb4 100644
--- a/src/arch/x86/boot/acpi.c
+++ b/src/arch/x86/boot/acpi.c
@@ -824,7 +824,7 @@
 		acpigen_set_current((char *) current);
 		for (dev = all_devices; dev; dev = dev->next)
 			if (dev->ops && dev->ops->acpi_inject_dsdt_generator) {
-				dev->ops->acpi_inject_dsdt_generator();
+				dev->ops->acpi_inject_dsdt_generator(dev);
 			}
 		current = (unsigned long) acpigen_get_current();
 		memcpy((char *)current,