summaryrefslogtreecommitdiff
path: root/src/mainboard/iwill/dk8_htx
diff options
context:
space:
mode:
authorAlexander Couzens <lynxis@fe80.eu>2015-04-12 22:28:37 +0200
committerStefan Reinauer <stefan.reinauer@coreboot.org>2015-06-05 21:12:11 +0200
commit83fc32f7a7d27c4133fda5baf25d9c1b32cf8a24 (patch)
treeb517a4f36de7b929e45974fdfde3df0609da7fe3 /src/mainboard/iwill/dk8_htx
parent5eea458822d394fd65a9b69f0b5b8e33c75065a8 (diff)
downloadcoreboot-83fc32f7a7d27c4133fda5baf25d9c1b32cf8a24.tar.xz
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>
Diffstat (limited to 'src/mainboard/iwill/dk8_htx')
-rw-r--r--src/mainboard/iwill/dk8_htx/acpi_tables.c4
-rw-r--r--src/mainboard/iwill/dk8_htx/mainboard.h2
2 files changed, 4 insertions, 2 deletions
diff --git a/src/mainboard/iwill/dk8_htx/acpi_tables.c b/src/mainboard/iwill/dk8_htx/acpi_tables.c
index 5767878d70..7c8835af91 100644
--- a/src/mainboard/iwill/dk8_htx/acpi_tables.c
+++ b/src/mainboard/iwill/dk8_htx/acpi_tables.c
@@ -125,7 +125,9 @@ unsigned long acpi_fill_madt(unsigned long current)
return current;
}
-unsigned long mainboard_write_acpi_tables(unsigned long start, acpi_rsdp_t *rsdp)
+unsigned long mainboard_write_acpi_tables(device_t device,
+ unsigned long start,
+ acpi_rsdp_t *rsdp)
{
unsigned long current;
acpi_header_t *ssdtx;
diff --git a/src/mainboard/iwill/dk8_htx/mainboard.h b/src/mainboard/iwill/dk8_htx/mainboard.h
index 80d8f2a0ad..fc2dcafd30 100644
--- a/src/mainboard/iwill/dk8_htx/mainboard.h
+++ b/src/mainboard/iwill/dk8_htx/mainboard.h
@@ -1 +1 @@
-unsigned long mainboard_write_acpi_tables(unsigned long start, acpi_rsdp_t *rsdp);
+unsigned long mainboard_write_acpi_tables(device_t device, unsigned long start, acpi_rsdp_t *rsdp);