diff options
Diffstat (limited to 'rts/IOManager.h')
| -rw-r--r-- | rts/IOManager.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/rts/IOManager.h b/rts/IOManager.h index 713049305f..be9bc3ab1a 100644 --- a/rts/IOManager.h +++ b/rts/IOManager.h @@ -21,6 +21,16 @@ #include "BeginPrivate.h" +/* Init hook: called from hs_init_ghc. + */ +void initIOManager(void); + + +/* Shutdown hooks: called from hs_exit_ before and after the scheduler exits. + */ +void stopIOManager(void); +void exitIOManager(bool wait_threads); + /* * Communicating with the IO manager thread (see GHC.Conc). * Posix implementation in posix/Signals.c @@ -34,4 +44,12 @@ void ioManagerDie (void); void ioManagerStart (void); #endif +/* Pedantic warning cleanliness + */ +#if !defined(THREADED_RTS) && defined(mingw32_HOST_OS) +#define USED_IF_NOT_THREADS_AND_MINGW32 +#else +#define USED_IF_NOT_THREADS_AND_MINGW32 STG_UNUSED +#endif + #include "EndPrivate.h" |