diff --git a/src/soc/samsung/exynos5250/cpu.c b/src/soc/samsung/exynos5250/cpu.c
index 9152343..2196144 100644
--- a/src/soc/samsung/exynos5250/cpu.c
+++ b/src/soc/samsung/exynos5250/cpu.c
@@ -56,7 +56,7 @@
  * involving lots of machine and callbacks, is hard to debug and
  * verify.
  */
-static void exynos_displayport_init(device_t dev, u32 lcdbase,
+static void exynos_displayport_init(struct device *dev, u32 lcdbase,
 		unsigned long fb_size)
 {
 	struct soc_samsung_exynos5250_config *conf = dev->chip_info;
@@ -107,7 +107,7 @@
 	lcd_ctrl_init(fb_size, &panel, (void *)lcdbase);
 }
 
-static void cpu_enable(device_t dev)
+static void cpu_enable(struct device *dev)
 {
 	unsigned long fb_size = FB_SIZE_KB * KiB;
 	u32 lcdbase = get_fb_base_kb() * KiB;
@@ -120,7 +120,7 @@
 	set_cpu_id();
 }
 
-static void cpu_init(device_t dev)
+static void cpu_init(struct device *dev)
 {
 	printk(BIOS_INFO, "CPU:   S5P%X @ %ldMHz\n",
 			cpu_id, get_arm_clk() / (1024*1024));
@@ -134,7 +134,7 @@
 	.scan_bus         = 0,
 };
 
-static void enable_exynos5250_dev(device_t dev)
+static void enable_exynos5250_dev(struct device *dev)
 {
 	dev->ops = &cpu_ops;
 }