X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTask.h;h=cc450a74a16cd4d016d0b9c246efe496b52c8dd3;hb=afdbaf48894b74eee5b6cc5c17c477d9e517f389;hp=ca71d2809a46b9c0a2f75bf0d13ddb3c3b8cd549;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/rts/Task.h b/rts/Task.h
index ca71d28..cc450a7 100644
--- a/rts/Task.h
+++ b/rts/Task.h
@@ -190,7 +190,13 @@ INLINE_HEADER void taskEnter (Task *task);
 // mainly for stats-gathering purposes.
 // Requires: sched_mutex.
 //
-void taskStop (Task *task);
+void workerTaskStop (Task *task);
+
+// Record the time spent in this Task.
+// This is called by workerTaskStop() but not by boundTaskExiting(),
+// because it would impose an extra overhead on call-in.
+//
+void taskTimeStamp (Task *task);
 
 // Put the task back on the free list, mark it stopped.  Used by
 // forkProcess().