X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FProfiling.h;h=d968349a527cefe6500dd26e3341504f2ff139fb;hb=98a12ec1d00cdeca31a52374aba76e0a13a79ff7;hp=8b5bf762d143255b7429730d16e54b2bedb135d2;hpb=b9d8ddb91c9360e3165244520f31dcd28c396825;p=ghc-hetmet.git

diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h
index 8b5bf76..d968349 100644
--- a/ghc/rts/Profiling.h
+++ b/ghc/rts/Profiling.h
@@ -1,32 +1,39 @@
 /* -----------------------------------------------------------------------------
- * $Id: Profiling.h,v 1.1 2000/04/03 15:54:49 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 );
 void endProfiling   ( void );
 
 extern FILE *prof_file;
+extern FILE *hp_file;
 #endif
 
 #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 void fprintCCS( FILE *f, CostCentreStack *ccs );
+extern void fprintCCS_stderr( CostCentreStack *ccs );
 
-extern rtsBool time_profiling;
+#ifdef DEBUG
+extern void debugCCS( CostCentreStack *ccs );
+#endif
 
 #endif
+
+#endif /* PROFILING_H */