Replace process_pending_timers() with process_pending_softirqs().

This ensures that any critical softirqs are handled in a timely manner
(e.g., TIME_CALIBRATE_SOFTIRQ) while still avoiding being preempted by
the scheduler (by SCHEDULE_SOFTIRQ), which is the reason for avoiding
use of do_softirq() directly.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

1 files changed, 0 insertions, 9 deletions

diff --git a/xen/common/timer.c b/xen/common/timer.c
index 5cf61118d5..7a84bac671 100644
--- a/xen/common/timer.c
+++ b/xen/common/timer.c
@@ -467,15 +467,6 @@ static void timer_softirq_action(void)
     spin_unlock_irq(&ts->lock);
 }
 
-
-void process_pending_timers(void)
-{
-    unsigned int cpu = smp_processor_id();
-    ASSERT(!in_irq() && local_irq_is_enabled());
-    if ( test_and_clear_bit(TIMER_SOFTIRQ, &softirq_pending(cpu)) )
-        timer_softirq_action();
-}
-
 s_time_t align_timer(s_time_t firsttick, uint64_t period)
 {
     if ( !period )