X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FStats.h;h=e6f746beeabe90fb9ad74e72e77746c44eddb491;hb=73b34b81cee865973da94dfb5010c078a656d994;hp=626eb0707d77929672315ba75ab7a36ba89237c5;hpb=7f906dc8d0aa5505fd35b1eda25feb12c6f42bf8;p=ghc-hetmet.git diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h index 626eb07..e6f746b 100644 --- a/ghc/rts/Stats.h +++ b/ghc/rts/Stats.h @@ -1,5 +1,4 @@ /* ----------------------------------------------------------------------------- - * $Id: Stats.h,v 1.17 2002/02/06 01:21:41 sof Exp $ * * (c) The GHC Team, 1998-1999 * @@ -12,7 +11,7 @@ extern void stat_endInit(void); extern void stat_startGC(void); extern void stat_endGC(lnat alloc, lnat collect, lnat live, - lnat copied, lnat gen); + lnat copied, lnat scavd_copied, lnat gen); #ifdef PROFILING extern void stat_startRP(void); @@ -21,7 +20,7 @@ extern void stat_endRP(nat, nat, int, #endif double); -#endif // PROFILING +#endif /* PROFILING */ #if defined(PROFILING) || defined(DEBUG) extern void stat_startHeapCensus(void); @@ -42,11 +41,11 @@ extern double mut_user_time(void); #ifdef PROFILING extern double mut_user_time_during_RP(void); extern double mut_user_time_during_heap_census(void); -#endif // PROFILING +#endif /* PROFILING */ extern void statDescribeGens( void ); -extern HsInt getAllocations( void ); +extern HsInt64 getAllocations( void ); -#if defined(SMP) -extern long int stat_getElapsedTime ( void ); -#endif +extern void stat_getTimes ( long *currentElapsedTime, + long *currentUserTime, + long *elapsedGCTime );