diff options
Diffstat (limited to 'rts/Capability.h')
| -rw-r--r-- | rts/Capability.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Capability.h b/rts/Capability.h index a2551d0cc5..641f37db01 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -199,6 +199,10 @@ void waitForCapability (Task *task, Mutex *mutex, Capability **pCap); // from the one held by the current Task). // void wakeupThreadOnCapability (Capability *cap, StgTSO *tso); +void wakeupThreadOnCapability_lock (Capability *cap, StgTSO *tso); + +void migrateThreadToCapability (Capability *cap, StgTSO *tso); +void migrateThreadToCapability_lock (Capability *cap, StgTSO *tso); // Wakes up a worker thread on just one Capability, used when we // need to service some global event. |