|
@@ -79,11 +79,7 @@ unsigned long vmi_tsc_khz(void)
|
|
|
|
|
|
static inline unsigned int vmi_get_timer_vector(void)
|
|
|
{
|
|
|
-#ifdef CONFIG_X86_IO_APIC
|
|
|
- return FIRST_DEVICE_VECTOR;
|
|
|
-#else
|
|
|
- return FIRST_EXTERNAL_VECTOR;
|
|
|
-#endif
|
|
|
+ return IRQ0_VECTOR;
|
|
|
}
|
|
|
|
|
|
/** vmi clockchip */
|
|
@@ -239,8 +235,6 @@ void __init vmi_time_init(void)
|
|
|
|
|
|
vmi_time_init_clockevent();
|
|
|
setup_irq(0, &vmi_clock_action);
|
|
|
- for_each_possible_cpu(cpu)
|
|
|
- per_cpu(vector_irq, cpu)[vmi_get_timer_vector()] = 0;
|
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_X86_LOCAL_APIC
|