[coreboot-gerrit] Patch set updated for coreboot: mainboard/gigabyte/*: transition away from device_t

[Antonello Dettori (dev@dettori.io)]

Antonello Dettori (dev at dettori.io) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16439

-gerrit

commit b659eb7934f00c6e374c3013a929069142103bb7
Author: Antonello Dettori <dev at dettori.io>
Date:   Sat Sep 3 10:45:33 2016 +0200

    mainboard/gigabyte/*: transition away from device_t
    
    Replace the use of the old device_t definition inside
    mainboard/gigabyte/*.
    
    Change-Id: Ied62d6234a4f6ea5f851e98a098b2c8f4e3db144
    Signed-off-by: Antonello Dettori <dev at dettori.io>
---
 src/mainboard/gigabyte/ga-b75m-d3h/romstage.c  | 2 +-
 src/mainboard/gigabyte/ga-b75m-d3v/romstage.c  | 2 +-
 src/mainboard/gigabyte/ga-g41m-es2l/romstage.c | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c b/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c
index be6043a..dd889d1 100644
--- a/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c
+++ b/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c
@@ -33,7 +33,7 @@
 #include <arch/cpu.h>
 #include <cpu/x86/msr.h>
 
-static void it8728f_b75md3h_disable_reboot(device_t dev)
+static void it8728f_b75md3h_disable_reboot(pnp_devfn_t dev)
 {
 	/* GPIO SIO settings */
 	ite_reg_write(dev, 0xEF, 0x7E); // magic
diff --git a/src/mainboard/gigabyte/ga-b75m-d3v/romstage.c b/src/mainboard/gigabyte/ga-b75m-d3v/romstage.c
index 55a2a96..fcdac6d 100644
--- a/src/mainboard/gigabyte/ga-b75m-d3v/romstage.c
+++ b/src/mainboard/gigabyte/ga-b75m-d3v/romstage.c
@@ -33,7 +33,7 @@
 #include <arch/cpu.h>
 #include <cpu/x86/msr.h>
 
-static void it8728f_b75md3v_disable_reboot(device_t dev)
+static void it8728f_b75md3v_disable_reboot(pnp_devfn_t dev)
 {
 	/* GPIO SIO settings */
 	ite_reg_write(dev, 0xEF, 0x7E); // magic
diff --git a/src/mainboard/gigabyte/ga-g41m-es2l/romstage.c b/src/mainboard/gigabyte/ga-g41m-es2l/romstage.c
index b6be8fb..2503db9 100644
--- a/src/mainboard/gigabyte/ga-g41m-es2l/romstage.c
+++ b/src/mainboard/gigabyte/ga-g41m-es2l/romstage.c
@@ -41,7 +41,7 @@
 
 static void mb_gpio_init(void)
 {
-	device_t dev;
+	pci_devfn_t dev;
 
 	/* Southbridge GPIOs. */
 	dev = PCI_DEV(0x0, 0x1f, 0x0);