ghc/rts/Profiling.h

   1 /* -----------------------------------------------------------------------------
   2
   3  * $Id: Profiling.h,v 1.3 2001/11/22 14:25:12 simonmar Exp $
   4  *
   5  * (c) The GHC Team, 1998-2000
   6  *
   7  * Support for profiling
   8  *
   9  * ---------------------------------------------------------------------------*/
  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 report_ccs_profiling ( void );
  24 void heap_profile_finish (void);
  25
  26 void PrintNewStackDecls ( void );
  27
  28 void print_ccs (FILE *, CostCentreStack *);
  29
  30 # define DEFAULT_INTERVAL TICK_FREQUENCY
  31
  32 extern rtsBool time_profiling;
  33
  34 extern lnat total_prof_ticks;
  35
  36 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
  37
  38
  39 #endif