X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.h;h=0ed1307a3b58e5393e47824cb5f87bfe2409a782;hb=4898649ce5d8bd677450988f6c3d3a39e146daac;hp=ec2f2b866f91c5f973ae0d3ef84ec0e82da96d4f;hpb=17315bf6c11c17ad38ca5a65d7e938ac32d07d8a;p=ghc-hetmet.git

diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h
index ec2f2b8..0ed1307 100644
--- a/ghc/rts/Stats.h
+++ b/ghc/rts/Stats.h
@@ -1,5 +1,4 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.h,v 1.6 1999/09/15 13:45:20 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -7,15 +6,46 @@
  *
  * ---------------------------------------------------------------------------*/
 
-extern StgDouble elapsedtime(void);
-extern void      start_time(void);
-extern StgDouble usertime(void);
-extern void      end_init(void);
-extern void      stat_exit(int alloc);
+extern void      stat_startInit(void);
+extern void      stat_endInit(void);
+
 extern void      stat_startGC(void);
 extern void      stat_endGC(lnat alloc, lnat collect, lnat live, 
 			    lnat copied, lnat gen);
+
+#ifdef PROFILING
+extern void      stat_startRP(void);
+extern void      stat_endRP(nat, 
+#ifdef DEBUG_RETAINER
+                            nat, int, 
+#endif
+                            double);
+#endif /* PROFILING */
+
+#if defined(PROFILING) || defined(DEBUG)
+extern void      stat_startHeapCensus(void);
+extern void      stat_endHeapCensus(void);
+#endif
+
+extern void      stat_startExit(void);
+extern void      stat_endExit(void);
+
+extern void      stat_exit(int alloc);
+extern void      stat_workerStop(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);
+
+#ifdef PROFILING
+extern double    mut_user_time_during_RP(void);
+extern double    mut_user_time_during_heap_census(void);
+#endif /* PROFILING */
+
+extern void      statDescribeGens( void );
+extern HsInt64   getAllocations( void );
+
+extern void      stat_getTimes ( long *currentElapsedTime, 
+				 long *currentUserTime,
+				 long *elapsedGCTime );