[project @ 2000-07-21 08:37:30 by rrt]

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

diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h
index f5da72c..7db318d 100644 (file)
--- a/ghc/rts/Stats.h
+++ b/ghc/rts/Stats.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.h,v 1.5 1999/02/23 15:45:08 simonm Exp $
+ * $Id: Stats.h,v 1.8 1999/11/09 15:46:58 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -12,8 +12,16 @@ extern void      start_time(void);
 extern StgDouble usertime(void);
 extern void      end_init(void);
 extern void      stat_exit(int alloc);
+extern void      stat_workerStop(void);
+
 extern void      stat_startGC(void);
 extern void      stat_endGC(lnat alloc, lnat collect, lnat live, 
                            lnat copied, lnat gen);
+
+extern void      stat_startExit(void);
+extern void      stat_endExit(void);
+
 extern void      initStats(void);
 extern void      stat_describe_gens(void);
+extern double    mut_user_time_during_GC(void);
+extern double    mut_user_time(void);