1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-2005
5 * Statistics and timing-related functions.
7 * ---------------------------------------------------------------------------*/
16 void stat_startInit(void);
17 void stat_endInit(void);
19 void stat_startGC(void);
20 void stat_endGC (lnat alloc, lnat live,
21 lnat copied, lnat gen,
22 lnat max_copied, lnat avg_copied, lnat slop);
25 void stat_startRP(void);
31 #endif /* PROFILING */
33 #if defined(PROFILING) || defined(DEBUG)
34 void stat_startHeapCensus(void);
35 void stat_endHeapCensus(void);
38 void stat_startExit(void);
39 void stat_endExit(void);
41 void stat_exit(int alloc);
42 void stat_workerStop(void);
44 void initStats0(void);
45 void initStats1(void);
47 double mut_user_time_during_GC(void);
48 double mut_user_time(void);
51 double mut_user_time_during_RP(void);
52 double mut_user_time_during_heap_census(void);
53 #endif /* PROFILING */
55 void statDescribeGens( void );
57 Ticks stat_getElapsedGCTime(void);
58 Ticks stat_getElapsedTime(void);
60 /* Only exported for Papi.c */
61 void statsPrintf( char *s, ... )
62 GNUC3_ATTRIBUTE(format (printf, 1, 2));