|
|
|
|
|
|
|
|
|
|
xen-devel
Re: [Xen-devel] sched_sedf printf formatting warnings
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
|
|
|
|
|