>>> On 11.09.18 at 11:21, <andrii_ani...@epam.com> wrote: > On 11.09.18 12:18, Jan Beulich wrote: >> What other separator do you suggest? I consider it quite helpful >> to have one when there are more than about 10 digits. (I'd also >> be fine, btw, to have the time printed in decimal, but then >> perhaps with ms granularity and 6 digits for the fractional part.) > Should we think about replacing PRI_stime?
Why not, but that would require adding another %p suffix or introducing a construct splitting s_time_t values into two pieces (to be used to hide the two printk() arguments required). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
