soc/samsung: Get rid of device_t

Use of device_t has been abandoned in ramstage.

Change-Id: Ibf21100eb2232932ea52740bd5250319d3c9adfa
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/26534
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
diff --git a/src/soc/samsung/exynos5420/cpu.c b/src/soc/samsung/exynos5420/cpu.c
index f298018..cab23a6 100644
--- a/src/soc/samsung/exynos5420/cpu.c
+++ b/src/soc/samsung/exynos5420/cpu.c
@@ -69,7 +69,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_exynos5420_config *conf = dev->chip_info;
@@ -129,7 +129,7 @@
 	}
 }
 
-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;
@@ -150,7 +150,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() / 1000000);
@@ -164,7 +164,7 @@
 	.scan_bus         = 0,
 };
 
-static void enable_exynos5420_dev(device_t dev)
+static void enable_exynos5420_dev(struct device *dev)
 {
 	dev->ops = &cpu_ops;
 }