Add several new record features

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

diff --git a/rts/Stats.h b/rts/Stats.h
index 9de6b71..f7a14a1 100644 (file)
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -54,4 +54,9 @@ 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 */