X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.h;h=59fe58ab9d329f2956da7f6c33a97adaea3bf308;hb=dbef766ce79e37a74468a07a93b15ba1f06fe8f8;hp=061d5fbf66a410f2d6a13cbef55c9bdbaf9ef755;hpb=5680ea4b2035198981739e24ad04cd0e0d133172;p=ghc-hetmet.git diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h index 061d5fb..59fe58a 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.14 2001/11/26 16:54:22 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,7 +41,7 @@ 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 );