500 printtime(KINFO *k, VARENT *ve __unused, long secs, long psecs)  in printtime()  argument
510 		psecs = 0;  in printtime()
513 		psecs = (psecs + 5000) / 10000;  in printtime()
514 		secs += psecs / 100;  in printtime()
515 		psecs = psecs % 100;  in printtime()
518 	    secs / 60, secs % 60, decimal_point, psecs);  in printtime()
525 	long secs, psecs;  in cputime()  local
533 	psecs = k->ki_p->ki_runtime % 1000000;  in cputime()
536 		psecs += k->ki_p->ki_childtime.tv_usec;  in cputime()
538 	return (printtime(k, ve, secs, psecs));  in cputime()
557 	long secs, psecs;  in systime()  local
560 	psecs = k->ki_p->ki_rusage.ru_stime.tv_usec;  in systime()
563 		psecs += k->ki_p->ki_childstime.tv_usec;  in systime()
565 	return (printtime(k, ve, secs, psecs));  in systime()
571 	long secs, psecs;  in usertime()  local
574 	psecs = k->ki_p->ki_rusage.ru_utime.tv_usec;  in usertime()
577 		psecs += k->ki_p->ki_childutime.tv_usec;  in usertime()
579 	return (printtime(k, ve, secs, psecs));  in usertime()