Free more things that we allocate
[ghc.git] / rts / Profiling.h
1 /* -----------------------------------------------------------------------------
2 *
3 * (c) The GHC Team, 1998-2005
4 *
5 * Support for profiling
6 *
7 * ---------------------------------------------------------------------------*/
8
9 #ifndef PROFILING_H
10 #define PROFILING_H
11
12 #include <stdio.h>
13
14 #if defined(PROFILING) || defined(DEBUG)
15 void initProfiling1 ( void );
16 void freeProfiling1 ( void );
17 void initProfiling2 ( void );
18 void endProfiling ( void );
19
20 extern FILE *prof_file;
21 extern FILE *hp_file;
22 #endif
23
24 #ifdef PROFILING
25
26 void gen_XML_logfile ( void );
27 void reportCCSProfiling ( void );
28
29 void PrintNewStackDecls ( void );
30
31 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
32 extern void fprintCCS_stderr( CostCentreStack *ccs );
33
34 #ifdef DEBUG
35 extern void debugCCS( CostCentreStack *ccs );
36 #endif
37
38 #endif
39
40 #endif /* PROFILING_H */