|
@@ -96,7 +96,7 @@ int __cpuinit boot_secondary(unsigned int cpu, struct task_struct *idle)
|
|
* the holding pen - release it, then wait for it to flag
|
|
* the holding pen - release it, then wait for it to flag
|
|
* that it has been released by resetting pen_release.
|
|
* that it has been released by resetting pen_release.
|
|
*/
|
|
*/
|
|
- write_pen_release(cpu);
|
|
|
|
|
|
+ write_pen_release(cpu_logical_map(cpu));
|
|
|
|
|
|
gic_raise_softirq(cpumask_of(cpu), 1);
|
|
gic_raise_softirq(cpumask_of(cpu), 1);
|
|
|
|
|