1 /* 2 * Copyright (c) 2010 Samsung Electronics. 3 * Minkyu Kang <mk7.kang@samsung.com> 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #include <common.h> 9 #include <asm/io.h> 10 #include <asm/system.h> 11 12 void reset_cpu(ulong addr) 13 { 14 writel(0x1, samsung_get_base_swreset()); 15 } 16 17 #ifndef CONFIG_SYS_DCACHE_OFF 18 void enable_caches(void) 19 { 20 /* Enable D-cache. I-cache is already enabled in start.S */ 21 dcache_enable(); 22 } 23 #endif 24