Reorganisation of the source tree

[ghc-hetmet.git] / ghc / rts / Stats.h

diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h
deleted file mode 100644 (file)
index 20bc015..0000000
--- a/ghc/rts/Stats.h
+++ /dev/null
@@ -1,56 +0,0 @@
-/* -----------------------------------------------------------------------------
- *
- * (c) The GHC Team, 1998-2005
- *
- * Statistics and timing-related functions.
- *
- * ---------------------------------------------------------------------------*/
-
-#ifndef STATS_H
-#define STATS_H
-
-#include "GetTime.h"
-
-void      stat_startInit(void);
-void      stat_endInit(void);
-
-void      stat_startGC(void);
-void      stat_endGC (lnat alloc, lnat live, 
-                     lnat copied, lnat scavd_copied, lnat gen);
-
-#ifdef PROFILING
-void      stat_startRP(void);
-void      stat_endRP(nat, 
-#ifdef DEBUG_RETAINER
-                            nat, int, 
-#endif
-                            double);
-#endif /* PROFILING */
-
-#if defined(PROFILING) || defined(DEBUG)
-void      stat_startHeapCensus(void);
-void      stat_endHeapCensus(void);
-#endif
-
-void      stat_startExit(void);
-void      stat_endExit(void);
-
-void      stat_exit(int alloc);
-void      stat_workerStop(void);
-
-void      initStats(void);
-
-double    mut_user_time_during_GC(void);
-double    mut_user_time(void);
-
-#ifdef PROFILING
-double    mut_user_time_during_RP(void);
-double    mut_user_time_during_heap_census(void);
-#endif /* PROFILING */
-
-void      statDescribeGens( void );
-HsInt64   getAllocations( void );
-
-Ticks stat_getElapsedGCTime(void);
-
-#endif /* STATS_H */