/home/amodigli/releases/xsh/2.1.1/xsh.30433/xshp/xsh/xsh_model_cputime.h File Reference

#include <stdio.h>

Go to the source code of this file.

Functions

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

Generated on 13 Mar 2013 for X-shooter Pipeline Reference Manual by  doxygen 1.6.1