| /* | |
| * Copyright (c) 2010 Samsung Electronics. | |
| * Minkyu Kang <mk7.kang@samsung.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <asm/io.h> | |
| #include <asm/system.h> | |
| void reset_cpu(ulong addr) | |
| { | |
| writel(0x1, samsung_get_base_swreset()); | |
| } | |
| #ifndef CONFIG_SYS_DCACHE_OFF | |
| void enable_caches(void) | |
| { | |
| /* Enable D-cache. I-cache is already enabled in start.S */ | |
| dcache_enable(); | |
| } | |
| #endif |