#include <time.h>
#include <sys/times.h>
+#include "syscall.h"
+
+int __clock_gettime(clockid_t, struct timespec *);
-/* this function assumes 100 hz linux and corrects for it */
clock_t clock()
{
+ struct timespec ts;
struct tms tms;
- return (unsigned long)times(&tms)*10000;
+ if (!__clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &ts))
+ return ts.tv_sec*1000000 + ts.tv_nsec/1000;
+ __syscall(SYS_times, &tms);
+ return (tms.tms_utime + tms.tms_stime)*100;
}