X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FProfiling.h;h=d968349a527cefe6500dd26e3341504f2ff139fb;hb=3eacdc7faf0d0e87a7201253f9f12c1fb4db7249;hp=52db2da05ef609c31eb56dbbc48152a30c3a6ef7;hpb=db61851c5472bf565cd1da900b33d6e033fd743d;p=ghc-hetmet.git

diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h
index 52db2da..d968349 100644
--- a/ghc/rts/Profiling.h
+++ b/ghc/rts/Profiling.h
@@ -1,13 +1,16 @@
 /* -----------------------------------------------------------------------------
-
- * $Id: Profiling.h,v 1.3 2001/11/22 14:25:12 simonmar Exp $
  *
- * (c) The GHC Team, 1998-2000
+ * (c) The GHC Team, 1998-2005
  *
  * Support for profiling
  *
  * ---------------------------------------------------------------------------*/
 
+#ifndef PROFILING_H
+#define PROFILING_H
+
+#include <stdio.h>
+
 #if defined(PROFILING) || defined(DEBUG)
 void initProfiling1 ( void );
 void initProfiling2 ( void );
@@ -20,20 +23,17 @@ extern FILE *hp_file;
 #ifdef PROFILING
 
 void gen_XML_logfile     ( void );
-void report_ccs_profiling ( void );
-void heap_profile_finish (void);
+void reportCCSProfiling ( void );
 
 void PrintNewStackDecls ( void );
 
-void print_ccs (FILE *, CostCentreStack *);
-
-# define DEFAULT_INTERVAL TICK_FREQUENCY
-
-extern rtsBool time_profiling;
-
-extern lnat total_prof_ticks;
-
 extern void fprintCCS( FILE *f, CostCentreStack *ccs );
+extern void fprintCCS_stderr( CostCentreStack *ccs );
 
+#ifdef DEBUG
+extern void debugCCS( CostCentreStack *ccs );
+#endif
 
 #endif
+
+#endif /* PROFILING_H */