|
@@ -335,11 +335,6 @@ void __cpuinit start_secondary(void)
|
|
*/
|
|
*/
|
|
check_tsc_sync_target();
|
|
check_tsc_sync_target();
|
|
|
|
|
|
- Dprintk("cpu %d: setting up apic clock\n", smp_processor_id());
|
|
|
|
- setup_secondary_APIC_clock();
|
|
|
|
-
|
|
|
|
- Dprintk("cpu %d: enabling apic timer\n", smp_processor_id());
|
|
|
|
-
|
|
|
|
if (nmi_watchdog == NMI_IO_APIC) {
|
|
if (nmi_watchdog == NMI_IO_APIC) {
|
|
disable_8259A_irq(0);
|
|
disable_8259A_irq(0);
|
|
enable_NMI_through_LVT0(NULL);
|
|
enable_NMI_through_LVT0(NULL);
|
|
@@ -374,6 +369,8 @@ void __cpuinit start_secondary(void)
|
|
|
|
|
|
unlock_ipi_call_lock();
|
|
unlock_ipi_call_lock();
|
|
|
|
|
|
|
|
+ setup_secondary_APIC_clock();
|
|
|
|
+
|
|
cpu_idle();
|
|
cpu_idle();
|
|
}
|
|
}
|
|
|
|
|