void stat_startGC(void);
void stat_endGC (lnat alloc, lnat live,
- lnat copied, lnat scavd_copied, lnat gen);
+ lnat copied, lnat gen);
#ifdef PROFILING
void stat_startRP(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 */