diff --git a/src/cpu/samsung/exynos5250/cpu.c b/src/cpu/samsung/exynos5250/cpu.c
index bcf4d22dbd..b6eae46a81 100644
--- a/src/cpu/samsung/exynos5250/cpu.c
+++ b/src/cpu/samsung/exynos5250/cpu.c
@@ -4,32 +4,9 @@
 #define RAM_BASE_KB (CONFIG_SYS_SDRAM_BASE >> 10)
 #define RAM_SIZE_KB (CONFIG_DRAM_SIZE_MB << 10UL)
 
-static void domain_read_resources(device_t dev)
-{
-	ram_resource(dev, 0, RAM_BASE_KB, RAM_SIZE_KB);
-}
-
-static void domain_set_resources(device_t dev)
-{
-	assign_resources(dev->link_list);
-}
-
-static unsigned int domain_scan_bus(device_t dev, unsigned int max)
-{
-	return max;
-}
-
-
-static struct device_operations domain_ops = {
-	.read_resources   = domain_read_resources,
-	.set_resources    = domain_set_resources,
-	.enable_resources = NULL,
-	.init             = NULL,
-	.scan_bus         = domain_scan_bus,
-};
-
 static void cpu_init(device_t dev)
 {
+	ram_resource(dev, 0, RAM_BASE_KB, RAM_SIZE_KB);
 }
 
 static void cpu_noop(device_t dev)
@@ -47,9 +24,7 @@ static struct device_operations cpu_ops = {
 static void enable_dev(device_t dev)
 {
 	/* Set the operations if it is a special bus type */
-	if (dev->path.type == DEVICE_PATH_DOMAIN) {
-		dev->ops = &domain_ops;
-	} else if (dev->path.type == DEVICE_PATH_CPU_CLUSTER) {
+	if (dev->path.type == DEVICE_PATH_CPU_CLUSTER) {
 		dev->ops = &cpu_ops;
 	}
 }