1 /* -----------------------------------------------------------------------------
2 * $Id: Profiling.h,v 1.2 2000/04/19 12:42:48 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;
21 void gen_XML_logfile ( void );
22 void report_ccs_profiling ( void );
23 void heap_profile_finish (void);
25 void PrintNewStackDecls ( void );
27 void print_ccs (FILE *, CostCentreStack *);
29 # define DEFAULT_INTERVAL TICK_FREQUENCY
31 extern rtsBool time_profiling;