diff options
Diffstat (limited to 'arch/arm/plat-versatile/platsmp.c')
-rw-r--r-- | arch/arm/plat-versatile/platsmp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/arm/plat-versatile/platsmp.c b/arch/arm/plat-versatile/platsmp.c index 04ca4937d8ca..f2ac15561778 100644 --- a/arch/arm/plat-versatile/platsmp.c +++ b/arch/arm/plat-versatile/platsmp.c | |||
@@ -14,10 +14,10 @@ | |||
14 | #include <linux/device.h> | 14 | #include <linux/device.h> |
15 | #include <linux/jiffies.h> | 15 | #include <linux/jiffies.h> |
16 | #include <linux/smp.h> | 16 | #include <linux/smp.h> |
17 | #include <linux/irqchip/arm-gic.h> | ||
17 | 18 | ||
18 | #include <asm/cacheflush.h> | 19 | #include <asm/cacheflush.h> |
19 | #include <asm/smp_plat.h> | 20 | #include <asm/smp_plat.h> |
20 | #include <asm/hardware/gic.h> | ||
21 | 21 | ||
22 | /* | 22 | /* |
23 | * Write pen_release in a way that is guaranteed to be visible to all | 23 | * Write pen_release in a way that is guaranteed to be visible to all |
@@ -79,7 +79,7 @@ int __cpuinit versatile_boot_secondary(unsigned int cpu, struct task_struct *idl | |||
79 | * the boot monitor to read the system wide flags register, | 79 | * the boot monitor to read the system wide flags register, |
80 | * and branch to the address found there. | 80 | * and branch to the address found there. |
81 | */ | 81 | */ |
82 | gic_raise_softirq(cpumask_of(cpu), 0); | 82 | arch_send_wakeup_ipi_mask(cpumask_of(cpu)); |
83 | 83 | ||
84 | timeout = jiffies + (1 * HZ); | 84 | timeout = jiffies + (1 * HZ); |
85 | while (time_before(jiffies, timeout)) { | 85 | while (time_before(jiffies, timeout)) { |