@@ -30,10 +30,13 @@ static int exynos_do_idle(void)
static int exynos_cpu_boot(int cpu)
{
- if (soc_is_exynos4212())
+ if (soc_is_exynos3250())
+ goto out;
+ else if (soc_is_exynos4212())
exynos_smc(SMC_CMD_CPU1BOOT, 0, 0, 0);
else
exynos_smc(SMC_CMD_CPU1BOOT, cpu, 0, 0);
+out:
return 0;
}
@@ -41,7 +44,7 @@ static int exynos_set_cpu_boot_addr(int cpu, unsigned long boot_addr)
{
void __iomem *boot_reg = S5P_VA_SYSRAM_NS + 0x1c;
- if (soc_is_exynos4212())
+ if (soc_is_exynos4212() || soc_is_exynos3250())
goto out;
else
boot_reg += 4*cpu;