# HG changeset patch # User kaf24@firebug.cl.cam.ac.uk # Date 1142422842 -3600 # Node ID 2162e1356bee08d92802232206b6636682814b4e # Parent 890fa761ba82a26988b1a5cb5ec0359706f75df8 Fix 64-bit build. Signed-off-by: Keir Fraser diff -r 890fa761ba82 -r 2162e1356bee xen/common/sched_sedf.c --- a/xen/common/sched_sedf.c Wed Mar 15 11:09:45 2006 +0000 +++ b/xen/common/sched_sedf.c Wed Mar 15 12:40:42 2006 +0100 @@ -586,7 +586,8 @@ static void update_queues( DIV_UP(now - curinf->deadl_abs, curinf->period) * curinf->period; if (unlikely(curinf->deadl_abs < now)) - printk("Fatal scheduler error: %lld %lld %lld diff=%lld\n", + printk("Fatal scheduler error: %"PRIu64" %"PRIu64" %"PRIu64 + " diff=%"PRIu64"\n", curinf->deadl_abs, now, curinf->period, now - curinf->deadl_abs); ASSERT(curinf->deadl_abs >= now);