Re: [Xen-devel] sched_sedf printf formatting warnings

[Keir Fraser <Keir.Fraser@xxxxxxxxxxxx>]

On 10 May 2005, at 23:14, Stephan Diestelhorst wrote:

> Odd, are you compiling on x86-64 hardware? If so then s_time_t will be
> just a normal long.
> So how to print a 64-bit integer? Because always casting to (long long)
> would be quite tedious. And different printfs for each architecture are
> not nice too.
>
> The printfs in schedule.c simply workaround that by decomposing the
> value into two 32-bit values ant prinitng it out hex. But I find time 
> in
> decimal notation much more convenient...
>
> Any ideas?
It's fixed already. You use PRIu64 from inttypes.h.

 -- Keir


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel