extern void startTaskManager ( nat maxTasks, void (*taskStart)(void) );
extern void stopTaskManager ( void );
-
-#if defined(THREADED_RTS)
-extern void taskNotAvailable ( void );
-extern void taskAvailable ( void );
-#endif
+void resetTaskManagerAfterFork ();
extern void startTask ( void (*taskStart)(void) );
-extern nat getTaskCount( void );
#endif /* RTS_SUPPORTS_THREADS */
#endif /* __TASK_H__ */