improvements to +RTS -s output

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

diff --git a/rts/Stats.h b/rts/Stats.h
index 20bc015..12311ee 100644 (file)
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -16,7 +16,8 @@ void      stat_endInit(void);
 
 void      stat_startGC(void);
 void      stat_endGC (lnat alloc, lnat live, 
-                     lnat copied, lnat scavd_copied, lnat gen);
+                     lnat copied, lnat gen,
+                      lnat max_copied, lnat avg_copied);
 
 #ifdef PROFILING
 void      stat_startRP(void);
@@ -52,5 +53,11 @@ void      statDescribeGens( void );
 HsInt64   getAllocations( void );
 
 Ticks stat_getElapsedGCTime(void);
+Ticks stat_getElapsedTime(void);
+
+/* Only exported for Papi.c */
+void statsPrintf( char *s, ... ) 
+    GNUC3_ATTRIBUTE(format (printf, 1, 2));
+
 
 #endif /* STATS_H */