ghc/rts/Profiling.h

   1 /* -----------------------------------------------------------------------------
   2  * $Id: Profiling.h,v 1.2 2000/04/19 12:42:48 simonmar Exp $
   3  *
   4  * (c) The GHC Team, 1998-2000
   5  *
   6  * Support for profiling
   7  *
   8  * ---------------------------------------------------------------------------*/
   9
  10 #if defined(PROFILING) || defined(DEBUG)
  11 void initProfiling1 ( void );
  12 void initProfiling2 ( void );
  13 void endProfiling   ( void );
  14
  15 extern FILE *prof_file;
  16 extern FILE *hp_file;
  17 #endif
  18
  19 #ifdef PROFILING
  20
  21 void gen_XML_logfile     ( void );
  22 void report_ccs_profiling ( void );
  23 void heap_profile_finish (void);
  24
  25 void PrintNewStackDecls ( void );
  26
  27 void print_ccs (FILE *, CostCentreStack *);
  28
  29 # define DEFAULT_INTERVAL TICK_FREQUENCY
  30
  31 extern rtsBool time_profiling;
  32
  33 #endif