diff options
Diffstat (limited to 'rts/GetTime.h')
| -rw-r--r-- | rts/GetTime.h | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h index b8d402db7c..86c5511df9 100644 --- a/rts/GetTime.h +++ b/rts/GetTime.h @@ -11,16 +11,10 @@ #include "BeginPrivate.h" -// We'll use a fixed resolution of usec for now. The machine -// dependent implementation may have a different resolution, but we'll -// normalise to this for the machine independent interface. -#define TICKS_PER_SECOND 1000000 -typedef StgInt64 Ticks; - -Ticks getProcessCPUTime (void); -Ticks getThreadCPUTime (void); -Ticks getProcessElapsedTime (void); -void getProcessTimes (Ticks *user, Ticks *elapsed); +Time getProcessCPUTime (void); +Time getThreadCPUTime (void); +Time getProcessElapsedTime (void); +void getProcessTimes (Time *user, Time *elapsed); /* Get the current date and time. Uses seconds since the Unix epoch, plus nanoseconds |