Interruptible FFI calls with pthread_kill and CancelSynchronousIO. v4

[ghc-hetmet.git] / includes / rts / OSThreads.h

diff --git a/includes/rts/OSThreads.h b/includes/rts/OSThreads.h
index 106e1e7..5d3e6ba 100644 (file)
--- a/includes/rts/OSThreads.h
+++ b/includes/rts/OSThreads.h
@@ -165,6 +165,7 @@ typedef void OSThreadProcAttr OSThreadProc(void *);
 extern int  createOSThread        ( OSThreadId* tid, 
                                    OSThreadProc *startProc, void *param);
 extern rtsBool osThreadIsAlive    ( OSThreadId id );
 extern int  createOSThread        ( OSThreadId* tid, 
                                    OSThreadProc *startProc, void *param);
 extern rtsBool osThreadIsAlive    ( OSThreadId id );

+extern void interruptOSThread (OSThreadId id);

 
 //
 // Condition Variables
 
 //
 // Condition Variables