blob: 0f116b141a327ea66c8b63675ddb7d543a48bb0a [file] [log] [blame]
Minkyu Kang008a3512011-01-24 15:22:23 +09001/*
2 * Copyright (c) 2010 Samsung Electronics.
3 * Minkyu Kang <mk7.kang@samsung.com>
4 *
Wolfgang Denk1a459662013-07-08 09:37:19 +02005 * SPDX-License-Identifier: GPL-2.0+
Minkyu Kang008a3512011-01-24 15:22:23 +09006 */
7
8#include <common.h>
9#include <asm/io.h>
Rajeshwari Shinde7ee68fe2012-11-29 20:29:35 +000010#include <asm/system.h>
11
Minkyu Kang008a3512011-01-24 15:22:23 +090012void reset_cpu(ulong addr)
13{
14 writel(0x1, samsung_get_base_swreset());
15}
Ɓukasz Majewskid7957d12012-08-07 03:24:03 +000016
17#ifndef CONFIG_SYS_DCACHE_OFF
18void enable_caches(void)
19{
20 /* Enable D-cache. I-cache is already enabled in start.S */
21 dcache_enable();
22}
23#endif