#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) |