extern nat rts_n_waiting_workers; /* used by Task.c to determine */
extern void grabReturnCapability(Mutex* pMutex, Capability** pCap);
extern nat rts_n_waiting_workers; /* used by Task.c to determine */
extern void grabReturnCapability(Mutex* pMutex, Capability** pCap);
extern void waitForWorkCapability(Mutex* pMutex, Capability** pCap, rtsBool runnable);
static inline nat getFreeCapabilities (void)
extern void waitForWorkCapability(Mutex* pMutex, Capability** pCap, rtsBool runnable);
static inline nat getFreeCapabilities (void)