diff --git a/xen/common/timer.c b/xen/common/timer.c
index 648f299dfd..305b5fa2ef 100644
--- 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);
 }