2 * Copyright (c) 2010 Samsung Electronics.
3 * Minkyu Kang <mk7.kang@samsung.com>
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/system.h>
12 void reset_cpu(ulong addr)
15 writel(0x1, samsung_get_base_swreset());
19 #ifndef CONFIG_SYS_DCACHE_OFF
20 void enable_caches(void)
22 /* Enable D-cache. I-cache is already enabled in start.S */
28 void lowlevel_init(void)
30 armv8_switch_to_el2();
31 armv8_switch_to_el1();