|
@@ -24,7 +24,6 @@
|
|
|
#include <asm/cacheflush.h>
|
|
|
#include <asm/hardware/gic.h>
|
|
|
#include <asm/smp_scu.h>
|
|
|
-#include <asm/unified.h>
|
|
|
|
|
|
#include <mach/hardware.h>
|
|
|
#include <mach/regs-clock.h>
|
|
@@ -163,7 +162,7 @@ int __cpuinit boot_secondary(unsigned int cpu, struct task_struct *idle)
|
|
|
while (time_before(jiffies, timeout)) {
|
|
|
smp_rmb();
|
|
|
|
|
|
- __raw_writel(BSYM(virt_to_phys(exynos4_secondary_startup)),
|
|
|
+ __raw_writel(virt_to_phys(exynos4_secondary_startup),
|
|
|
CPU1_BOOT_REG);
|
|
|
gic_raise_softirq(cpumask_of(cpu), 1);
|
|
|
|
|
@@ -218,6 +217,6 @@ void __init platform_smp_prepare_cpus(unsigned int max_cpus)
|
|
|
* until it receives a soft interrupt, and then the
|
|
|
* secondary CPU branches to this address.
|
|
|
*/
|
|
|
- __raw_writel(BSYM(virt_to_phys(exynos4_secondary_startup)),
|
|
|
+ __raw_writel(virt_to_phys(exynos4_secondary_startup),
|
|
|
CPU1_BOOT_REG);
|
|
|
}
|