// Requires: sched_mutex.
//
void initTaskManager (void);
-void stopTaskManager (void);
+nat freeTaskManager (void);
// Create a new Task for a bound thread
// Requires: sched_mutex.
// 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().