diff --git a/src/mainboard/thomson/ip1000/gpio.c b/src/mainboard/thomson/ip1000/gpio.c
index 29c222d2de..b4bf30e1ed 100644
--- a/src/mainboard/thomson/ip1000/gpio.c
+++ b/src/mainboard/thomson/ip1000/gpio.c
@@ -23,7 +23,7 @@
 /* Early mainboard specific GPIO setup. */
 static void mb_gpio_init(void)
 {
-	device_t dev;
+	pci_devfn_t dev;
 	uint16_t port;
 	uint32_t set_gpio;