Symbol: format_time
usr.bin/top/machine.c
584
eighth_buf, format_time(cputime), 100.0 * pct,
usr.bin/top/utils.h
39
char *format_time(time_t);