/* -----------------------------------------------------------------------------
-
- * $Id: Profiling.h,v 1.4 2001/12/12 14:31:43 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 PrintNewStackDecls ( void );
-extern lnat total_prof_ticks;
+extern lnat RTS_VAR(total_prof_ticks);
extern void fprintCCS( FILE *f, CostCentreStack *ccs );
+#ifdef DEBUG
+extern void debugCCS( CostCentreStack *ccs );
+#endif
#endif