timers: Fix printk format specifier

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/common/timer.c b/xen/common/timer.c
index 648f299dfd539ee9ba84d9196f750cfd0322b3fa..305b5fa2ef88ad44f72f25a5ed6cd4db9652ffda 100644 (file)
--- a/xen/common/timer.c
+++ b/xen/common/timer.c
@@ -499,7 +499,7 @@ s_time_t align_timer(s_time_t firsttick, uint64_t period)
 
 static void dump_timer(struct timer *t, s_time_t now)
 {
-    printk("  ex=%8ldus timer=%p cb=%p(%p)",
+    printk("  ex=%8"PRId64"us timer=%p cb=%p(%p)",
            (t->expires - now) / 1000, t, t->function, t->data);
     print_symbol(" %s\n", (unsigned long)t->function);
 }