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, 1 insertions, 1 deletions

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 97e38ad485..b1ed507f18 100644
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -650,7 +650,7 @@ void __init console_endboot(void)
             printk("%d... ", 3-i);
             for ( j = 0; j < 100; j++ )
             {
-                process_pending_timers();
+                process_pending_softirqs();
                 mdelay(10);
             }
         }