61#include <sys/resource.h>
75 static int call_no = 0;
83 fprintf(fp,
"Preprocessing");
85 fprintf(fp,
"Total CPU");
88 fprintf(fp,
"%s", str);
90 fprintf(fp,
" time:\t%2.2fu %2.2fs\t%2.2f (sec)\n", utime, s_time,
109 *usertime = (double)time.tms_utime / (
double)HZ;
110 *systime = (double)time.tms_stime / (
double)HZ;
116 getrusage( RUSAGE_SELF, &usage );
118 *usertime = (double)usage.ru_utime.tv_sec +
119 (
double)usage.ru_utime.tv_usec / 1000000.;
120 *systime = (double)usage.ru_stime.tv_sec +
121 (
double)usage.ru_stime.tv_usec / 1000000.;
void get_cpu_time(double *usertime, double *systime)
void xsh_report_cpu(FILE *fp, char *str)