@@ -18,6 +18,8 @@
#include <mach/map.h>
+#include <plat/cpu.h>
+
#include "smc.h"
static int exynos_do_idle(void)
@@ -28,14 +30,22 @@ static int exynos_do_idle(void)
static int exynos_cpu_boot(int cpu)
{
- exynos_smc(SMC_CMD_CPU1BOOT, cpu, 0, 0);
+ if (soc_is_exynos4212())
+ exynos_smc(SMC_CMD_CPU1BOOT, 0, 0, 0);
+ else
+ exynos_smc(SMC_CMD_CPU1BOOT, cpu, 0, 0);
return 0;
}
static int exynos_set_cpu_boot_addr(int cpu, unsigned long boot_addr)
{
- void __iomem *boot_reg = S5P_VA_SYSRAM_NS + 0x1c + 4*cpu;
+ void __iomem *boot_reg = S5P_VA_SYSRAM_NS + 0x1c;
+ if (soc_is_exynos4212())
+ goto out;
+ else
+ boot_reg += 4*cpu;
+out:
__raw_writel(boot_addr, boot_reg);
return 0;
}