GetTime.h 754 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
/* -----------------------------------------------------------------------------
 *
 * (c) The GHC Team 2005
 *
 * Machine-independent interface to time measurement
 *
 * ---------------------------------------------------------------------------*/

#ifndef GETTIME_H
#define GETTIME_H

12
#include "BeginPrivate.h"
13

Simon Marlow's avatar
Simon Marlow committed
14
15
16
17
Time getProcessCPUTime     (void);
Time getThreadCPUTime      (void);
Time getProcessElapsedTime (void);
void getProcessTimes       (Time *user, Time *elapsed);
18

19
20
21
22
23
/* Get the current date and time.
   Uses seconds since the Unix epoch, plus nanoseconds
 */
void  getUnixEpochTime      (StgWord64 *sec, StgWord32 *nsec);

24
25
26
// Not strictly timing, but related
nat   getPageFaults         (void);

27
#include "EndPrivate.h"
28

29
#endif /* GETTIME_H */