summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--includes/rts/prof/CCS.h9
-rw-r--r--rts/Proftimer.h3
2 files changed, 9 insertions, 3 deletions
diff --git a/includes/rts/prof/CCS.h b/includes/rts/prof/CCS.h
index e6c746b4bc..37285672b8 100644
--- a/includes/rts/prof/CCS.h
+++ b/includes/rts/prof/CCS.h
@@ -78,6 +78,15 @@ typedef struct CostCentreStack_ {
/* -----------------------------------------------------------------------------
+ * Start and stop the profiling timer. These can be called from
+ * Haskell to restrict the profile to portion(s) of the execution.
+ * See the module GHC.Profiling.
+ * ---------------------------------------------------------------------------*/
+
+void stopProfTimer ( void );
+void startProfTimer ( void );
+
+/* -----------------------------------------------------------------------------
* The rest is PROFILING only...
* ---------------------------------------------------------------------------*/
diff --git a/rts/Proftimer.h b/rts/Proftimer.h
index a8d16b45f4..4bb063fbbc 100644
--- a/rts/Proftimer.h
+++ b/rts/Proftimer.h
@@ -9,9 +9,6 @@
#ifndef PROFTIMER_H
#define PROFTIMER_H
-void stopProfTimer ( void );
-void startProfTimer ( void );
-
#include "BeginPrivate.h"
void initProfTimer ( void );