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)