1 /* -----------------------------------------------------------------------------
2 * $Id: Stats.h,v 1.10 2000/12/19 14:30:39 simonmar Exp $
4 * (c) The GHC Team, 1998-1999
6 * Statistics and timing-related functions.
8 * ---------------------------------------------------------------------------*/
10 extern void stat_startInit(void);
11 extern void stat_endInit(void);
13 extern void stat_startGC(void);
14 extern void stat_endGC(lnat alloc, lnat collect, lnat live,
15 lnat copied, lnat gen);
17 extern void stat_startExit(void);
18 extern void stat_endExit(void);
20 extern void stat_exit(int alloc);
21 extern void stat_workerStop(void);
23 extern void initStats(void);
25 extern void stat_describe_gens(void);
26 extern double mut_user_time_during_GC(void);
27 extern double mut_user_time(void);
29 extern HsInt getAllocations( void );