--- /dev/null
+/* -----------------------------------------------------------------------------
+ *
+ * (c) The GHC Team 2005
+ *
+ * Machine-independent interface to time measurement
+ *
+ * ---------------------------------------------------------------------------*/
+
+#ifndef GETTIME_H
+#define GETTIME_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);
+
+// Not strictly timing, but related
+nat getPageFaults (void);
+
+#endif /* GETTIME_H */