void initScheduler (void);
void exitScheduler (rtsBool wait_foreign);
void freeScheduler (void);
void initScheduler (void);
void exitScheduler (rtsBool wait_foreign);
void freeScheduler (void);
// Place a new thread on the run queue of the current Capability
void scheduleThread (Capability *cap, StgTSO *tso);
// Place a new thread on the run queue of the current Capability
void scheduleThread (Capability *cap, StgTSO *tso);
StgWord raiseExceptionHelper (StgRegTable *reg, StgTSO *tso, StgClosure *exception);
/* findRetryFrameHelper */
StgWord raiseExceptionHelper (StgRegTable *reg, StgTSO *tso, StgClosure *exception);
/* findRetryFrameHelper */
/* Entry point for a new worker */
void scheduleWorker (Capability *cap, Task *task);
/* Entry point for a new worker */
void scheduleWorker (Capability *cap, Task *task);