Date:        Fri, 13 Apr 2018 05:21:16 -0400
    From:        "Christos Zoulas" <chris...@netbsd.org>
    Message-ID:  <20180413092116.b3b08f...@cvs.netbsd.org>

  |     src/sys/kern: subr_prf.c

  | make this narrower by popular request.

Would it perhaps be reasonable to just print microseconds (or even
10's or 100's of microseconds) instead of nanoseconds ?

        n = snprintf(buf, sizeof(buf), "[% 5jd.%.6ld] ",
            (intmax_t)ts.tv_sec, ts.tv_nsec / 1000);

(or .5d and 10000 or .4d and 100000).   And perhaps really
4jd instead of 5jd - once it is well past dmesg.boot range, it
doesn't matter nearly so much if occasionally the times don't
line up - from 4 -> 5 digits is 2:45 approx, from 5->6 is over a
day, and 11 1/2 days to switch to 7 digits.

kre

Reply via email to