1 /* Concurrent read version */
3 /* $Name: fa_34_26_5 $ - $Id: htime.c,v 1.3 2006/04/12 18:00:02 wrp Exp $ */
12 #include <sys/times.h>
22 time_t s_time () /* returns time in milliseconds */
26 return time(&tt)*1000;
31 return tt.tms_utime*1000/CLK_TCK;
33 return tt.tms_utime*1000/HZ;
38 void ptime (FILE *fp, time_t time) /* prints the time */
40 fprintf (fp, "%6.3f",(double)(time)/1000.0);