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