diff options
-rw-r--r-- | kernel/timer.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/timer.c b/kernel/timer.c index dbd50fabe4c..17dbc746fd2 100644 --- a/kernel/timer.c +++ b/kernel/timer.c @@ -813,7 +813,11 @@ static int cascade(struct tvec_base *base, struct tvec *tv, int index) * don't have to detach them individually. */ list_for_each_entry_safe(timer, tmp, &tv_list, entry) { - BUG_ON(tbase_get_base(timer->base) != base); + if (tbase_get_base(timer->base) != base) { + printk(KERN_ERR "cascade: timer %p: tbase_get_base(timer->base) 0x%x " + "!= base 0x%x\n", timer, tbase_get_base(timer->base), base); + BUG_ON(1); + } internal_add_timer(base, timer); } |