Alexander Couzens 83fc32f7a7 device_ops: add device_t argument to write_acpi_tables ... `device_t device` is missing as argument. Every device_op function should have a `device_t device` argument. Change-Id: I1ba4bfa0ac36a09a82b108249158c80c50f9f5fd Signed-off-by: Alexander Couzens <lynxis@fe80.eu> Reviewed-on: http://review.coreboot.org/9599 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>		2015-06-05 21:12:11 +02:00
..
p470	device_ops: add device_t argument to write_acpi_tables	2015-06-05 21:12:11 +02:00
Kconfig	Remove address from GPLv2 headers	2015-05-21 20:50:25 +02:00
Kconfig.name	kconfig: automatically include mainboards	2015-04-18 08:31:08 +02:00