xsh_model_cputime.c File Reference

#include <cpl.h>
#include "xsh_model_kernel.h"
#include <sys/time.h>
#include <sys/resource.h>
#include "xsh_model_cputime.h"

Go to the source code of this file.

Functions
void	xsh_report_cpu (FILE *fp, char *str)
void	get_cpu_time (double *usertime, double *systime)