diff options
Diffstat (limited to 'rts/IOManager.h')
| -rw-r--r-- | rts/IOManager.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/IOManager.h b/rts/IOManager.h index ed7b4dcdcf..ceb38508ea 100644 --- a/rts/IOManager.h +++ b/rts/IOManager.h @@ -21,6 +21,9 @@ #include "BeginPrivate.h" +#include "sm/GC.h" // for evac_fn + + /* The per-capability data structures belonging to the I/O manager. * * It can be accessed as cap->iomgr. @@ -97,6 +100,11 @@ void exitIOManager(bool wait_threads); void wakeupIOManager(void); +/* GC hook: mark any per-capability GC roots the I/O manager uses. + */ +void markCapabilityIOManager(evac_fn evac, void *user, CapIOManager *iomgr); + + /* Pedantic warning cleanliness */ #if !defined(THREADED_RTS) && defined(mingw32_HOST_OS) |