1.1 --- a/xen/common/sched_sedf.c	Wed Mar 15 11:09:45 2006 +0000
     1.2 +++ b/xen/common/sched_sedf.c	Wed Mar 15 12:40:42 2006 +0100
     1.3 @@ -586,7 +586,8 @@ static void update_queues(
     1.4                      DIV_UP(now - curinf->deadl_abs,
     1.5                             curinf->period) * curinf->period;
     1.6              if (unlikely(curinf->deadl_abs < now))
     1.7 -                printk("Fatal scheduler error: %lld %lld %lld diff=%lld\n",
     1.8 +                printk("Fatal scheduler error: %"PRIu64" %"PRIu64" %"PRIu64
     1.9 +                       " diff=%"PRIu64"\n",
    1.10                         curinf->deadl_abs, now, curinf->period,
    1.11                         now - curinf->deadl_abs);
    1.12              ASSERT(curinf->deadl_abs >= now);