diff options
| author | mrchebas@gmail.com <unknown> | 2006-11-08 17:14:52 +0000 |
|---|---|---|
| committer | mrchebas@gmail.com <unknown> | 2006-11-08 17:14:52 +0000 |
| commit | fe07f054d7ae5e10b14d5fed730fe4424dabd587 (patch) | |
| tree | 37b9be9c87726d5d910e72c195688b029d31a4c5 /rts/Stats.h | |
| parent | 74a87d705449e2f9ad4021aeebf8149ce35a6a2e (diff) | |
| download | haskell-fe07f054d7ae5e10b14d5fed730fe4424dabd587.tar.gz | |
Addition of PAPI to RTS
This patch still requires the addition of the USE_PAPI
define to compile with PAPI. Also, programs must be
compiled and linked with the appropriate library flags
for papi.
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 9de6b718bb..f7a14a1e59 100644 --- 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 */ |