1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-2005
5 * Support for profiling
7 * ---------------------------------------------------------------------------*/
14 void initProfiling1 (void);
15 void freeProfiling1 (void);
16 void initProfiling2 (void);
17 void endProfiling (void);
19 extern FILE *prof_file;
24 void gen_XML_logfile ( void );
25 void reportCCSProfiling ( void );
27 void PrintNewStackDecls ( void );
29 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
30 extern void fprintCCS_stderr( CostCentreStack *ccs );
33 extern void debugCCS( CostCentreStack *ccs );
38 #endif /* PROFILING_H */