1 /* -----------------------------------------------------------------------------
2 * $Id: Profiling.h,v 1.1 2000/04/03 15:54:49 simonmar Exp $
4 * (c) The GHC Team, 1998-2000
6 * Support for profiling
8 * ---------------------------------------------------------------------------*/
10 #if defined(PROFILING) || defined(DEBUG)
11 void initProfiling1 ( void );
12 void initProfiling2 ( void );
13 void endProfiling ( void );
15 extern FILE *prof_file;
20 void gen_XML_logfile ( void );
21 void report_ccs_profiling ( void );
22 void heap_profile_finish (void);
24 void PrintNewStackDecls ( void );
26 void print_ccs (FILE *, CostCentreStack *);
28 # define DEFAULT_INTERVAL TICK_FREQUENCY
30 extern rtsBool time_profiling;