1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team 2005
5 * Machine-independent interface to time measurement
7 * ---------------------------------------------------------------------------*/
12 #include "BeginPrivate.h"
14 // We'll use a fixed resolution of usec for now. The machine
15 // dependent implementation may have a different resolution, but we'll
16 // normalise to this for the machine independent interface.
17 #define TICKS_PER_SECOND 1000000
18 typedef StgInt64 Ticks;
20 Ticks getProcessCPUTime (void);
21 Ticks getThreadCPUTime (void);
22 Ticks getProcessElapsedTime (void);
23 void getProcessTimes (Ticks *user, Ticks *elapsed);
25 // Not strictly timing, but related
26 nat getPageFaults (void);
28 #include "EndPrivate.h"
30 #endif /* GETTIME_H */