1 /* -----------------------------------------------------------------------------
2 * $Id: Profiling.h,v 1.5 2002/07/18 09:12:03 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 reportCCSProfiling ( void );
24 void PrintNewStackDecls ( void );
26 extern lnat total_prof_ticks;
28 extern void fprintCCS( FILE *f, CostCentreStack *ccs );