diff options
Diffstat (limited to 'includes/rts/Threads.h')
| -rw-r--r-- | includes/rts/Threads.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/includes/rts/Threads.h b/includes/rts/Threads.h index d2c4aff984..061e38b32b 100644 --- a/includes/rts/Threads.h +++ b/includes/rts/Threads.h @@ -57,4 +57,14 @@ extern unsigned int n_capabilities; extern Capability MainCapability; #endif +// +// Change the number of capabilities (only supports increasing the +// current value at the moment). +// +#if defined(THREADED_RTS) +extern void setNumCapabilities (nat new); +#else +extern void setNumCapabilities (nat new) GNU_ATTRIBUTE(__noreturn__); +#endif + #endif /* RTS_THREADS_H */ |