X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=rts%2FTask.h;h=38e4763b5a350d8533b42a13133e4869c4abbc60;hp=566c0425cd9f53b60df1e5e95afb4257777b63be;hb=83d563cb9ede0ba792836e529b1e2929db926355;hpb=9fa96fc44a640014415e1588f50ab7689285e6cb

diff --git a/rts/Task.h b/rts/Task.h
index 566c042..38e4763 100644
--- a/rts/Task.h
+++ b/rts/Task.h
@@ -225,6 +225,11 @@ INLINE_HEADER Task *myTask (void);
 //
 void startWorkerTask (Capability *cap);
 
+// Interrupts a worker task that is performing an FFI call.  The thread
+// should not be destroyed.
+//
+void interruptWorkerTask (Task *task);
+
 #endif /* THREADED_RTS */
 
 // -----------------------------------------------------------------------------