diff --git a/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c b/src/mainboard/gigabyte/ga-b75m-d3h/romstage.c
index be6043aa41..dd889d1bd6 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 55a2a96783..fcdac6d2fe 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 b6be8fba7a..2503db9433 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);