coreboot-kgpe-d16/src/mainboard/getac/p470/mainboard.h

struct acpi_rsdp;

unsigned long mainboard_write_acpi_tables(device_t device,
					  unsigned long start,
					  struct acpi_rsdp *rsdp);
i945: Convert to per-device ACPI Change-Id: Iee3ee33ca58b8c722d2d38aae31e7130032512ad Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com> Reviewed-on: http://review.coreboot.org/6804 Tested-by: build bot (Jenkins) Reviewed-by: Aaron Durbin <adurbin@google.com> 2014-08-31 00:27:05 +02:00			`struct acpi_rsdp;`

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-04-12 22:28:37 +02:00			`unsigned long mainboard_write_acpi_tables(device_t device,`
			`unsigned long start,`
i945: Convert to per-device ACPI Change-Id: Iee3ee33ca58b8c722d2d38aae31e7130032512ad Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com> Reviewed-on: http://review.coreboot.org/6804 Tested-by: build bot (Jenkins) Reviewed-by: Aaron Durbin <adurbin@google.com> 2014-08-31 00:27:05 +02:00			`struct acpi_rsdp *rsdp);`