diff --git a/kernel/time/timer_list.c b/kernel/time/timer_list.c
index 387a3a5aa3888a268ef5be8b2816f8d6b6832d21..ff8d5c13d04bd0911c62584b6f2764b7a27cb89a 100644
--- a/kernel/time/timer_list.c
+++ b/kernel/time/timer_list.c
@@ -117,7 +117,7 @@ print_base(struct seq_file *m, struct hrtimer_clock_base *base, u64 now)
 	SEQ_printf(m, "  .base:       %pK\n", base);
 	SEQ_printf(m, "  .index:      %d\n", base->index);
 
-	SEQ_printf(m, "  .resolution: %u nsecs\n", (unsigned) hrtimer_resolution);
+	SEQ_printf(m, "  .resolution: %u nsecs\n", hrtimer_resolution);
 
 	SEQ_printf(m,   "  .get_time:   ");
 	print_name_offset(m, base->get_time);