# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Date 1145481810 -3600
# Node ID 3ff86698f3941f61d10cdaa97da11ecba5142982
# Parent  83ba928544c4bde89ff750e15cb734fc0e2bc9ba
Fix 64-bit Xen build after new PIT (i8254) code.
Signed-off-by: Keir Fraser <keir@xensource.com>


diff -r 83ba928544c4 -r 3ff86698f394 xen/arch/x86/hvm/i8254.c
--- a/xen/arch/x86/hvm/i8254.c	Wed Apr 19 22:19:41 2006 +0100
+++ b/xen/arch/x86/hvm/i8254.c	Wed Apr 19 22:23:30 2006 +0100
@@ -562,7 +562,8 @@ void pickup_deactive_ticks(struct hvm_vi
         if (next_time > 0)
             set_timer(&(s->hvm_time->pit_timer), s->next_transition_time);
         else {
-            printk("HVM_PIT:not set_timer before resume next_time=%lld!\n", next_time);
+            printk("HVM_PIT:not set_timer before resume next_time=%"
+                   PRId64"!\n", next_time);
             next_time = s->next_transition_time;
         }
     }