George, Dario, it being mostly used in scheduler code, and me considering it quite a bit easier to compare such big numbers when shown in hex I wonder: Do you prefer this to stay PRId64, or would you accept it to be changed to PRIx64 (allowing it to be used in a few other places)?
Thanks, Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
