diff options
Diffstat (limited to 'rts/Capability.h')
| -rw-r--r-- | rts/Capability.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/rts/Capability.h b/rts/Capability.h index fb9f0aa181..561d369a21 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -224,11 +224,6 @@ INLINE_HEADER void releaseCapability_ (Capability* cap STG_UNUSED, // extern Capability **capabilities; -// The Capability that was last free. Used as a good guess for where -// to assign new threads. -// -extern Capability *last_free_capability; - // // Indicates that the RTS wants to synchronise all the Capabilities // for some reason. All Capabilities should stop and return to the @@ -304,11 +299,6 @@ extern void grabCapability (Capability **pCap); #endif /* !THREADED_RTS */ -// Waits for a capability to drain of runnable threads and workers, -// and then acquires it. Used at shutdown time. -// -void shutdownCapability (Capability *cap, Task *task, rtsBool wait_foreign); - // Shut down all capabilities. // void shutdownCapabilities(Task *task, rtsBool wait_foreign); |