diff options
Diffstat (limited to 'rts/GetTime.h')
| -rw-r--r-- | rts/GetTime.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h index 86c5511df9..45804aa3a9 100644 --- a/rts/GetTime.h +++ b/rts/GetTime.h @@ -11,6 +11,9 @@ #include "BeginPrivate.h" +void initializeTimer (void); +StgWord64 getMonotonicNSec (void); + Time getProcessCPUTime (void); Time getThreadCPUTime (void); Time getProcessElapsedTime (void); |