diff options
Diffstat (limited to 'rts/Threads.h')
| -rw-r--r-- | rts/Threads.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Threads.h b/rts/Threads.h index e3680f2d50..bf16dcdce3 100644 --- a/rts/Threads.h +++ b/rts/Threads.h @@ -21,6 +21,9 @@ void wakeBlockingQueue (Capability *cap, StgBlockingQueue *bq); void tryWakeupThread (Capability *cap, StgTSO *tso); void migrateThread (Capability *from, StgTSO *tso, Capability *to); +// like tryWakeupThread(), but assumes the TSO is not ThreadRelocated +void tryWakeupThread_ (Capability *cap, StgTSO *tso); + // Wakes up a thread on a Capability (probably a different Capability // from the one held by the current Task). // |