[project @ 2005-03-10 14:03:28 by simonmar]
[ghc-hetmet.git] / ghc / rts / Profiling.h
index 8b5bf76..7ed7bdc 100644 (file)
@@ -1,32 +1,35 @@
 /* -----------------------------------------------------------------------------
- * $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-2004
  *
  * Support for profiling
  *
  * ---------------------------------------------------------------------------*/
 
+#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 *);
+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