00001 00008 #include "sceptre.h" 00009 #include <reent.h> 00010 #include <sys/times.h> 00011 00012 00020 clock_t _times_r(struct _reent *r, struct tms *p_tms) 00021 { 00022 // Return value should depend on the value of CLOCKS_PER_SEC. 00023 clock_t t = timer_get_10ms_counter(); 00024 00025 if (p_tms!=0) 00026 { 00027 p_tms->tms_utime = t; 00028 p_tms->tms_stime = 0; 00029 p_tms->tms_cutime = 0; 00030 p_tms->tms_cstime = 0; 00031 } 00032 00033 return t; 00034 } 00035