diff options
Diffstat (limited to 'includes/rts/OSThreads.h')
| -rw-r--r-- | includes/rts/OSThreads.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/includes/rts/OSThreads.h b/includes/rts/OSThreads.h index bc84b714db..2eb58971ca 100644 --- a/includes/rts/OSThreads.h +++ b/includes/rts/OSThreads.h @@ -221,6 +221,11 @@ void releaseThreadNode (void); int forkOS_createThread ( HsStablePtr entry ); // +// Free any global resources created in OSThreads. +// +void freeThreadingResources(void); + +// // Returns the number of processor cores in the machine // uint32_t getNumberOfProcessors (void); |