Reorganisation of the source tree
[ghc-hetmet.git] / ghc / rts / GetTime.h
diff --git a/ghc/rts/GetTime.h b/ghc/rts/GetTime.h
deleted file mode 100644 (file)
index 5f02df0..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (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 */