1 /* -----------------------------------------------------------------------------
3 * $Id: Profiling.h,v 1.3 2001/11/22 14:25:12 simonmar Exp $
5 * (c) The GHC Team, 1998-2000
7 * Support for profiling
9 * ---------------------------------------------------------------------------*/
11 #if defined(PROFILING) || defined(DEBUG)
12 void initProfiling1 ( void );
13 void initProfiling2 ( void );
14 void endProfiling ( void );
16 extern FILE *prof_file;
22 void gen_XML_logfile ( void );
23 void report_ccs_profiling ( void );
24 void heap_profile_finish (void);
26 void PrintNewStackDecls ( void );
28 void print_ccs (FILE *, CostCentreStack *);
30 # define DEFAULT_INTERVAL TICK_FREQUENCY
32 extern rtsBool time_profiling;
34 extern lnat total_prof_ticks;
36 extern void fprintCCS( FILE *f, CostCentreStack *ccs );