[project @ 2000-04-03 15:54:49 by simonmar]

[ghc-hetmet.git] / ghc / rts / Profiling.h

diff --git a/ghc/rts/Profiling.h b/ghc/rts/Profiling.h
new file mode 100644 (file)
index 0000000..8b5bf76
--- /dev/null
+++ b/ghc/rts/Profiling.h
@@ -0,0 +1,32 @@
+/* -----------------------------------------------------------------------------
+ * $Id: Profiling.h,v 1.1 2000/04/03 15:54:49 simonmar Exp $
+ *
+ * (c) The GHC Team, 1998-2000
+ *
+ * Support for profiling
+ *
+ * ---------------------------------------------------------------------------*/
+
+#if defined(PROFILING) || defined(DEBUG)
+void initProfiling1 ( void );
+void initProfiling2 ( void );
+void endProfiling   ( void );
+
+extern FILE *prof_file;
+#endif
+
+#ifdef PROFILING
+
+void gen_XML_logfile     ( void );
+void report_ccs_profiling ( void );
+void heap_profile_finish (void);
+
+void PrintNewStackDecls ( void );
+
+void print_ccs (FILE *, CostCentreStack *);
+
+# define DEFAULT_INTERVAL TICK_FREQUENCY
+
+extern rtsBool time_profiling;
+
+#endif