/* -----------------------------------------------------------------------------
- * $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-2005
*
* Support for profiling
*
* ---------------------------------------------------------------------------*/
+#ifndef PROFILING_H
+#define PROFILING_H
+
+#include <stdio.h>
+
#if defined(PROFILING) || defined(DEBUG)
void initProfiling1 ( void );
void initProfiling2 ( void );
#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 */