1 files changed, 3 insertions, 1 deletions

diff --git a/kernel/time/tick-sched.c b/kernel/time/tick-sched.c
index 9234e44fc94a..512a4a906467 100644
--- a/kernel/time/tick-sched.c
+++ b/kernel/time/tick-sched.c
@@ -165,7 +165,9 @@ void tick_nohz_stop_sched_tick(void)
                 goto end;
 
         cpu = smp_processor_id();
-        BUG_ON(local_softirq_pending());
+        if (unlikely(local_softirq_pending()))
+                printk(KERN_ERR "NOHZ: local_softirq_pending %02x\n",
+                       local_softirq_pending());
 
         now = ktime_get();
         /*