-/* ----------------------------------------------------------------------------
- passCapability, passCapabilityToWorker
- ------------------------------------------------------------------------- */
-
-void
-passCapability( Condition *pTargetThreadCond )
-{
- // Pre-condition: pMutex is held and cap is held by the current thread
-
- passTarget = pTargetThreadCond;
- passingCapability = rtsTrue;
- IF_DEBUG(scheduler, sched_belch("worker: passCapability"));
-
- // Post-condition: pMutex is held; cap is still held, but will be
- // passed to the target thread when next released.
-}
-
-void
-passCapabilityToWorker( void )
-{
- // Pre-condition: pMutex is held and cap is held by the current thread
-
- passTarget = NULL;
- passingCapability = rtsTrue;
- IF_DEBUG(scheduler, sched_belch("worker: passCapabilityToWorker"));
-
- // Post-condition: pMutex is held; cap is still held, but will be
- // passed to a worker thread when next released.
-}
-