|
@@ -434,7 +434,7 @@ void xen_setup_timer(int cpu)
|
|
|
name = "<timer kasprintf failed>";
|
|
|
|
|
|
irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt,
|
|
|
- IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING,
|
|
|
+ IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING|IRQF_TIMER,
|
|
|
name, NULL);
|
|
|
|
|
|
evt = &per_cpu(xen_clock_events, cpu);
|