blob: 0ef7ad3314b532e1c4e2bfcc0e08e802a0d79dd4 [file] [log] [blame]
Tom Rini83d290c2018-05-06 17:58:06 -04001// SPDX-License-Identifier: GPL-2.0+
Minkyu Kang008a3512011-01-24 15:22:23 +09002/*
3 * Copyright (c) 2010 Samsung Electronics.
4 * Minkyu Kang <mk7.kang@samsung.com>
Minkyu Kang008a3512011-01-24 15:22:23 +09005 */
6
7#include <common.h>
8#include <asm/io.h>
Rajeshwari Shinde7ee68fe2012-11-29 20:29:35 +00009#include <asm/system.h>
10
Thomas Abraham95e74a32016-11-16 18:49:16 +053011#ifdef CONFIG_TARGET_ESPRESSO7420
12/*
13 * Exynos7420 uses CPU0 of Cluster-1 as boot CPU. Due to this, branch_if_master
14 * fails to identify as the boot CPU as the master CPU. As temporary workaround,
15 * setup the slave CPU boot address as "_main".
16 */
17extern void _main(void);
18void *secondary_boot_addr = (void *)_main;
19#endif /* CONFIG_TARGET_ESPRESSO7420 */
20
Minkyu Kang008a3512011-01-24 15:22:23 +090021void reset_cpu(ulong addr)
22{
Thomas Abraham36aa8932016-04-23 22:18:12 +053023#ifdef CONFIG_CPU_V7
Minkyu Kang008a3512011-01-24 15:22:23 +090024 writel(0x1, samsung_get_base_swreset());
Thomas Abraham36aa8932016-04-23 22:18:12 +053025#endif
Minkyu Kang008a3512011-01-24 15:22:23 +090026}
Ɓukasz Majewskid7957d12012-08-07 03:24:03 +000027
28#ifndef CONFIG_SYS_DCACHE_OFF
29void enable_caches(void)
30{
31 /* Enable D-cache. I-cache is already enabled in start.S */
32 dcache_enable();
33}
34#endif