diff options
| -rw-r--r-- | xen/common/timer.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xen/common/timer.c b/xen/common/timer.c index 0dd2476483..39de52dc35 100644 --- a/xen/common/timer.c +++ b/xen/common/timer.c @@ -587,7 +587,6 @@ static void migrate_timers_from_cpu(unsigned int old_cpu) spin_unlock(&old_ts->lock); spin_unlock_irq(&new_ts->lock); - local_irq_enable(); if ( notify ) cpu_raise_softirq(new_cpu, TIMER_SOFTIRQ); |