|
@@ -127,7 +127,7 @@ int __cpuinit boot_secondary(unsigned int cpu, struct task_struct *idle)
|
|
|
* the boot monitor to read the system wide flags register,
|
|
|
* and branch to the address found there.
|
|
|
*/
|
|
|
- gic_raise_softirq(cpumask_of(cpu), 1);
|
|
|
+ gic_raise_softirq(cpumask_of(cpu), 0);
|
|
|
|
|
|
timeout = jiffies + (1 * HZ);
|
|
|
while (time_before(jiffies, timeout)) {
|