|
@@ -571,7 +571,6 @@ void __devinit start_secondary(void *unused)
|
|
if (system_state == SYSTEM_RUNNING)
|
|
if (system_state == SYSTEM_RUNNING)
|
|
vdso_data->processorCount++;
|
|
vdso_data->processorCount++;
|
|
#endif
|
|
#endif
|
|
- ipi_call_lock();
|
|
|
|
notify_cpu_starting(cpu);
|
|
notify_cpu_starting(cpu);
|
|
set_cpu_online(cpu, true);
|
|
set_cpu_online(cpu, true);
|
|
/* Update sibling maps */
|
|
/* Update sibling maps */
|
|
@@ -601,7 +600,6 @@ void __devinit start_secondary(void *unused)
|
|
of_node_put(np);
|
|
of_node_put(np);
|
|
}
|
|
}
|
|
of_node_put(l2_cache);
|
|
of_node_put(l2_cache);
|
|
- ipi_call_unlock();
|
|
|
|
|
|
|
|
local_irq_enable();
|
|
local_irq_enable();
|
|
|
|
|