diff options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/rts/Globals.h | 6 | ||||
| -rw-r--r-- | includes/rts/IOManager.h | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/includes/rts/Globals.h b/includes/rts/Globals.h index 85d0acd4bd..75c7f69fe4 100644 --- a/includes/rts/Globals.h +++ b/includes/rts/Globals.h @@ -18,6 +18,10 @@ #define RTS_GLOBALS_H StgStablePtr getOrSetTypeableStore(StgStablePtr value); -StgStablePtr getOrSetSignalHandlerStore(StgStablePtr value); +StgStablePtr getOrSetGHCConcSignalHandlerStore(StgStablePtr value); +StgStablePtr getOrSetGHCConcPendingEventsStore(StgStablePtr ptr); +StgStablePtr getOrSetGHCConcPendingDelaysStore(StgStablePtr ptr); +StgStablePtr getOrSetGHCConcIOManagerThreadStore(StgStablePtr ptr); +StgStablePtr getOrSetGHCConcProddingStore(StgStablePtr ptr); #endif /* RTS_GLOBALS_H */ diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h index ef89f27a30..3aedda8b55 100644 --- a/includes/rts/IOManager.h +++ b/includes/rts/IOManager.h @@ -27,6 +27,7 @@ void sendIOManagerEvent (HsWord32 event); #else void setIOManagerPipe (int fd); +void ioManagerSync (void); #endif @@ -35,8 +36,8 @@ void setIOManagerPipe (int fd); // Posix implementation in posix/Signals.c // Win32 implementation in win32/ThrIOManager.c // -#if defined(THREADED_RTS) void ioManagerWakeup (void); +#if defined(THREADED_RTS) void ioManagerDie (void); void ioManagerStart (void); #endif |