X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=02adcf95d899f6aee1144f6f1a4f6e5f013f8ee4;hb=661c97c65e5fa47177502e592bb763f752b487ac;hp=bd39ced57df624115a5ec2c21a5fb2388efafc85;hpb=1663532f26ae2e68f04d067b11bd177d307637b1;p=ghc-hetmet.git diff --git a/rts/Stats.h b/rts/Stats.h index bd39ced..02adcf9 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -11,6 +11,8 @@ #include "GetTime.h" +BEGIN_RTS_PRIVATE + void stat_startInit(void); void stat_endInit(void); @@ -51,7 +53,6 @@ double mut_user_time_during_heap_census(void); #endif /* PROFILING */ void statDescribeGens( void ); -HsInt64 getAllocations( void ); Ticks stat_getElapsedGCTime(void); Ticks stat_getElapsedTime(void); @@ -60,5 +61,8 @@ Ticks stat_getElapsedTime(void); void statsPrintf( char *s, ... ) GNUC3_ATTRIBUTE(format (printf, 1, 2)); +HsInt64 getAllocations (void); + +END_RTS_PRIVATE #endif /* STATS_H */