/* * 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> #ifdef CONFIG_TARGET_ESPRESSO7420 /* * Exynos7420 uses CPU0 of Cluster-1 as boot CPU. Due to this, branch_if_master * fails to identify as the boot CPU as the master CPU. As temporary workaround, * setup the slave CPU boot address as "_main". */ extern void _main(void); void *secondary_boot_addr = (void *)_main; #endif /* CONFIG_TARGET_ESPRESSO7420 */ void reset_cpu(ulong addr) { #ifdef CONFIG_CPU_V7 writel(0x1, samsung_get_base_swreset()); #endif } #ifndef CONFIG_SYS_DCACHE_OFF void enable_caches(void) { /* Enable D-cache. I-cache is already enabled in start.S */ dcache_enable(); } #endif