diff options
| -rw-r--r-- | rts/RaiseAsync.h | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/rts/RaiseAsync.h b/rts/RaiseAsync.h index 3da9e7bc09..e2763d0cb8 100644 --- a/rts/RaiseAsync.h +++ b/rts/RaiseAsync.h @@ -16,23 +16,23 @@ #include "BeginPrivate.h" -void blockedThrowTo (Capability *cap, +void blockedThrowTo (Capability *cap, StgTSO *target, MessageThrowTo *msg); void throwToSingleThreaded (Capability *cap, - StgTSO *tso, - StgClosure *exception); + StgTSO *tso, + StgClosure *exception); -void throwToSingleThreaded_ (Capability *cap, - StgTSO *tso, - StgClosure *exception, - rtsBool stop_at_atomically); +void throwToSingleThreaded_ (Capability *cap, + StgTSO *tso, + StgClosure *exception, + rtsBool stop_at_atomically); -void suspendComputation (Capability *cap, - StgTSO *tso, - StgUpdateFrame *stop_here); +void suspendComputation (Capability *cap, + StgTSO *tso, + StgUpdateFrame *stop_here); -MessageThrowTo *throwTo (Capability *cap, // the Capability we hold +MessageThrowTo *throwTo (Capability *cap, // the Capability we hold StgTSO *source, StgTSO *target, StgClosure *exception); // the exception closure @@ -74,4 +74,3 @@ interruptible(StgTSO *t) #endif /* CMINUSMINUS */ #endif /* RAISEASYNC_H */ - |