Symbol: humantime
usr.bin/time/time.c
280
humantime(out, after->tv_sec, after->tv_nsec/10000000);
usr.bin/time/time.c
282
humantime(out, ru->ru_utime.tv_sec, ru->ru_utime.tv_usec/10000);
usr.bin/time/time.c
284
humantime(out, ru->ru_stime.tv_sec, ru->ru_stime.tv_usec/10000);
usr.bin/time/time.c
53
static void humantime(FILE *, long, long);