Add several new record features

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

diff --git a/rts/Stats.h b/rts/Stats.h
index 20bc015..f7a14a1 100644 (file)
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -52,5 +52,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 */