1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-2005
5 * Support for profiling
7 * ---------------------------------------------------------------------------*/
14 #if defined(PROFILING) || defined(DEBUG)
15 void initProfiling1 ( void );
16 void freeProfiling1 ( void );
17 void initProfiling2 ( void );
18 void endProfiling ( void );
20 extern FILE *prof_file;
26 void gen_XML_logfile ( void );
27 void reportCCSProfiling ( void );
29 void PrintNewStackDecls ( void );
31 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
32 extern void fprintCCS_stderr( CostCentreStack *ccs );
35 extern void debugCCS( CostCentreStack *ccs );
40 #endif /* PROFILING_H */