On Tue, 28 Nov 2017, Paul E. McKenney wrote:
> On Tue, Nov 28, 2017 at 05:47:35PM +0100, Thomas Gleixner wrote:
> diff --git a/kernel/time/timer.c b/kernel/time/timer.c
> index db774b0f217e..a3321bb565db 100644
> --- a/kernel/time/timer.c
> +++ b/kernel/time/timer.c
> @@ -1803,7 +1803,7 @@ signed long __sched schedule_timeout(signed long timeout)
>  		idx = timer_get_idx(&timer.timer);
>  		idx_now = calc_wheel_index(j, base->clk);
>  		raw_spin_unlock_irqrestore(&base->lock, flags);
> -		pr_info("%s: Waylayed timer idx: %u idx_now: %u\n", __func__, idx, idx_now);
> +		pr_info("%s: Waylayed timer base->clk: %#lx jiffies: %#lx base->next_expiry: %#lx timer->flags: %#x timer->expires %#lx idx: %u idx_now: %u\n", __func__, base->clk, j, base->next_expiry, timer.timer.flags, timer.timer.expires, idx, idx_now);

Please print idx and idx_now as hex values. It's simpler to decode that way.

Thanks,

	tglx