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 #ifdef CONFIG_CPU_V7 15 writel(0x1, samsung_get_base_swreset()); 16 #endif 17 } 18 19 #ifndef CONFIG_SYS_DCACHE_OFF 20 void enable_caches(void) 21 { 22 /* Enable D-cache. I-cache is already enabled in start.S */ 23 dcache_enable(); 24 } 25 #endif 26 27 #ifdef CONFIG_ARM64 28 void lowlevel_init(void) 29 { 30 armv8_switch_to_el2(); 31 armv8_switch_to_el1(); 32 } 33 #endif 34