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, 6 deletions

diff --git a/xen/include/xen/timer.h b/xen/include/xen/timer.h
index 1994eff00f..f5340d07b7 100644
--- a/xen/include/xen/timer.h
+++ b/xen/include/xen/timer.h
@@ -103,12 +103,6 @@ extern void migrate_timer(struct timer *timer, unsigned int new_cpu);
 extern void kill_timer(struct timer *timer);
 
 /*
- * Process pending timers on this CPU. This should be called periodically
- * when performing work that prevents softirqs from running in a timely manner.
- */
-extern void process_pending_timers(void);
-
-/*
  * Bootstrap initialisation. Must be called before any other timer function.
  */
 extern void timer_init(void);