From f5a4ddffad3528a8be6ba063a4cd0cb685e3f5fd Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 19 Dec 2000 14:30:39 +0000 Subject: [PATCH] [project @ 2000-12-19 14:30:39 by simonmar] cleanups --- ghc/rts/Stats.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/ghc/rts/Stats.h b/ghc/rts/Stats.h index a5e1c8e..297cc52 100644 --- a/ghc/rts/Stats.h +++ b/ghc/rts/Stats.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Stats.h,v 1.9 2000/12/04 12:31:21 simonmar Exp $ + * $Id: Stats.h,v 1.10 2000/12/19 14:30:39 simonmar Exp $ * * (c) The GHC Team, 1998-1999 * @@ -7,12 +7,8 @@ * * ---------------------------------------------------------------------------*/ -extern StgDouble elapsedtime(void); -extern void start_time(void); -extern StgDouble usertime(void); -extern void end_init(void); -extern void stat_exit(int alloc); -extern void stat_workerStop(void); +extern void stat_startInit(void); +extern void stat_endInit(void); extern void stat_startGC(void); extern void stat_endGC(lnat alloc, lnat collect, lnat live, @@ -21,7 +17,11 @@ extern void stat_endGC(lnat alloc, lnat collect, lnat live, extern void stat_startExit(void); extern void stat_endExit(void); +extern void stat_exit(int alloc); +extern void stat_workerStop(void); + extern void initStats(void); + extern void stat_describe_gens(void); extern double mut_user_time_during_GC(void); extern double mut_user_time(void); -- 1.7.10.4