|
@@ -662,6 +662,7 @@ static void xen_hvm_cpu_die(unsigned int cpu)
|
|
|
unbind_from_irqhandler(per_cpu(xen_debug_irq, cpu), NULL);
|
|
|
unbind_from_irqhandler(per_cpu(xen_callfuncsingle_irq, cpu), NULL);
|
|
|
unbind_from_irqhandler(per_cpu(xen_irq_work, cpu), NULL);
|
|
|
+ xen_teardown_timer(cpu);
|
|
|
native_cpu_die(cpu);
|
|
|
}
|
|
|
|