1.1 --- a/xen/common/timer.c	Thu Aug 19 15:33:43 2010 +0100
     1.2 +++ b/xen/common/timer.c	Thu Aug 19 16:24:13 2010 +0100
     1.3 @@ -499,7 +499,7 @@ s_time_t align_timer(s_time_t firsttick,
     1.4  
     1.5  static void dump_timer(struct timer *t, s_time_t now)
     1.6  {
     1.7 -    printk("  ex=%8ldus timer=%p cb=%p(%p)",
     1.8 +    printk("  ex=%8"PRId64"us timer=%p cb=%p(%p)",
     1.9             (t->expires - now) / 1000, t, t->function, t->data);
    1.10      print_symbol(" %s\n", (unsigned long)t->function);
    1.11  }