ghc/rts/Profiling.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1998-2004
   4  *
   5  * Support for profiling
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #include <stdio.h>
  10
  11 #if defined(PROFILING) || defined(DEBUG)
  12 void initProfiling1 ( void );
  13 void initProfiling2 ( void );
  14 void endProfiling   ( void );
  15
  16 extern FILE *prof_file;
  17 extern FILE *hp_file;
  18 #endif
  19
  20 #ifdef PROFILING
  21
  22 void gen_XML_logfile     ( void );
  23 void reportCCSProfiling ( void );
  24
  25 void PrintNewStackDecls ( void );
  26
  27 extern lnat RTS_VAR(total_prof_ticks);
  28
  29 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
  30 extern void fprintCCS_stderr( CostCentreStack *ccs );
  31
  32 #ifdef DEBUG
  33 extern void debugCCS( CostCentreStack *ccs );
  34 #endif
  35
  36 #endif