X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FStats.h;h=f13221546e2c672468ccc4b3871e7db19577e50c;hb=6cf8982ac30be6836a0cdd8be5a6ac1a1a144213;hp=bd39ced57df624115a5ec2c21a5fb2388efafc85;hpb=1663532f26ae2e68f04d067b11bd177d307637b1;p=ghc-hetmet.git diff --git a/rts/Stats.h b/rts/Stats.h index bd39ced..f132215 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,6 @@ Ticks stat_getElapsedTime(void); void statsPrintf( char *s, ... ) GNUC3_ATTRIBUTE(format (printf, 1, 2)); +END_RTS_PRIVATE #endif /* STATS_H */