X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FProfiling.h;h=7ed7bdc6a06cf0f34d4946d56bd391af87796d36;hb=6d194f48d7313fa8daa004b7b3e3a55ffa52f4a9;hp=d75d6613bb2972ca7952c51e4e08312d9cf4d259;hpb=066dbe7804d1e0ca710d996f43628e88e0321be6;p=ghc-hetmet.git

diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h
index d75d661..7ed7bdc 100644
--- a/ghc/rts/Profiling.h
+++ b/ghc/rts/Profiling.h
@@ -1,12 +1,13 @@
 /* -----------------------------------------------------------------------------
- * $Id: Profiling.h,v 1.2 2000/04/19 12:42:48 simonmar Exp $
  *
- * (c) The GHC Team, 1998-2000
+ * (c) The GHC Team, 1998-2004
  *
  * Support for profiling
  *
  * ---------------------------------------------------------------------------*/
 
+#include <stdio.h>
+
 #if defined(PROFILING) || defined(DEBUG)
 void initProfiling1 ( void );
 void initProfiling2 ( void );
@@ -19,15 +20,16 @@ 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 *);
+extern lnat RTS_VAR(total_prof_ticks);
 
-# define DEFAULT_INTERVAL TICK_FREQUENCY
+extern void fprintCCS( FILE *f, CostCentreStack *ccs );
 
-extern rtsBool time_profiling;
+#ifdef DEBUG
+extern void debugCCS( CostCentreStack *ccs );
+#endif
 
 #endif