Use https links in user-facing startup and error messages
[ghc.git] / rts / GetTime.h
1 /* -----------------------------------------------------------------------------
2 *
3 * (c) The GHC Team 2005
4 *
5 * Machine-independent interface to time measurement
6 *
7 * ---------------------------------------------------------------------------*/
8
9 #pragma once
10
11 #include "BeginPrivate.h"
12
13 void initializeTimer (void);
14
15 Time getProcessCPUTime (void);
16 void getProcessTimes (Time *user, Time *elapsed);
17
18 /* Get the current date and time.
19 Uses seconds since the Unix epoch, plus nanoseconds
20 */
21 void getUnixEpochTime (StgWord64 *sec, StgWord32 *nsec);
22
23 // Not strictly timing, but related
24 W_ getPageFaults (void);
25
26 #include "EndPrivate.h"