4 files changed, 6 insertions, 6 deletions
diff --git a/src/mainboard/asus/kgpe-d16/acpi_tables.c b/src/mainboard/asus/kgpe-d16/acpi_tables.c
index 436e156f1b..c5f2c33769 100644
--- a/src/mainboard/asus/kgpe-d16/acpi_tables.c
+++ b/src/mainboard/asus/kgpe-d16/acpi_tables.c
@@ -26,7 +26,7 @@
 
 unsigned long acpi_fill_madt(unsigned long current)
 {
-	device_t dev;
+	struct device *dev;
 	u32 dword;
 	u32 gsi_base = 0;
 	uint32_t apicid_sp5100;
diff --git a/src/mainboard/asus/kgpe-d16/get_bus_conf.c b/src/mainboard/asus/kgpe-d16/get_bus_conf.c
index 5ebc714a75..d12dcc9185 100644
--- a/src/mainboard/asus/kgpe-d16/get_bus_conf.c
+++ b/src/mainboard/asus/kgpe-d16/get_bus_conf.c
@@ -60,7 +60,7 @@ static u32 get_bus_conf_done = 0;
 void get_bus_conf(void)
 {
 	u32 apicid_base;
-	device_t dev;
+	struct device *dev;
 	int i;
 
 	if (get_bus_conf_done == 1)
diff --git a/src/mainboard/asus/kgpe-d16/mainboard.c b/src/mainboard/asus/kgpe-d16/mainboard.c
index 65029d45af..ac28f6e40a 100644
--- a/src/mainboard/asus/kgpe-d16/mainboard.c
+++ b/src/mainboard/asus/kgpe-d16/mainboard.c
@@ -30,7 +30,7 @@ void set_pcie_dereset(void);
 
 void set_pcie_reset(void)
 {
-	device_t pcie_core_dev;
+	struct device *pcie_core_dev;
 
 	pcie_core_dev = dev_find_slot(0, PCI_DEVFN(0, 0));
 	set_htiu_enable_bits(pcie_core_dev, 0xA8, 0xFFFFFFFF, 0x28282828);
@@ -39,7 +39,7 @@ void set_pcie_reset(void)
 
 void set_pcie_dereset(void)
 {
-	device_t pcie_core_dev;
+	struct device *pcie_core_dev;
 
 	pcie_core_dev = dev_find_slot(0, PCI_DEVFN(0, 0));
 	set_htiu_enable_bits(pcie_core_dev, 0xA8, 0xFFFFFFFF, 0x6F6F6F6F);
@@ -50,7 +50,7 @@ void set_pcie_dereset(void)
 * enable the dedicated function in kgpe-d16 board.
 * This function is called earlier than sr5650_enable.
 *************************************************/
-static void mainboard_enable(device_t dev)
+static void mainboard_enable(struct device *dev)
 {
 	printk(BIOS_INFO, "Mainboard KGPE-D16 Enable. dev=0x%p\n", dev);
 
diff --git a/src/mainboard/asus/kgpe-d16/mptable.c b/src/mainboard/asus/kgpe-d16/mptable.c
index a55101dcc7..afde757970 100644
--- a/src/mainboard/asus/kgpe-d16/mptable.c
+++ b/src/mainboard/asus/kgpe-d16/mptable.c
@@ -36,7 +36,7 @@ static void *smp_write_config_table(void *v)
 	struct mp_config_table *mc;
 	int bus_isa;
 	u32 apicid_sr5650;
-	device_t dev;
+	struct device *dev;
 	uint8_t sp5100_bus_number;
 
 	mc = (void *)(((char *)v) + SMP_FLOATING_TABLE_LEN);