X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.h;h=e3e53c1186c85c2a7993e9532d13c703fdf6ab37;hb=3b758ccb12e736cf1bf9ce7d4ab6542b84ad0305;hp=061d5fbf66a410f2d6a13cbef55c9bdbaf9ef755;hpb=986ac01d651c096e1ed08e8c8b27cd21b4ec4ce8;p=ghc-hetmet.git diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h index 061d5fb..e3e53c1 100644 --- a/ghc/rts/Stats.h +++ b/ghc/rts/Stats.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Stats.h,v 1.13 2001/11/23 10:27:58 simonmar Exp $ + * $Id: Stats.h,v 1.18 2004/05/27 09:29:29 simonmar Exp $ * * (c) The GHC Team, 1998-1999 * @@ -20,12 +20,14 @@ extern void stat_endRP(nat, #ifdef DEBUG_RETAINER nat, int, #endif - double, nat, nat); - -extern void stat_startLDV(void); -extern void stat_endLDV(void); + double); #endif // PROFILING +#if defined(PROFILING) || defined(DEBUG) +extern void stat_startHeapCensus(void); +extern void stat_endHeapCensus(void); +#endif + extern void stat_startExit(void); extern void stat_endExit(void); @@ -39,8 +41,12 @@ extern double mut_user_time(void); #ifdef PROFILING extern double mut_user_time_during_RP(void); -extern double mut_user_time_during_LDV(void); +extern double mut_user_time_during_heap_census(void); #endif // PROFILING extern void statDescribeGens( void ); -extern HsInt getAllocations( void ); +extern HsInt64 getAllocations( void ); + +#if defined(SMP) +extern long int stat_getElapsedTime ( void ); +#endif