diff options
Diffstat (limited to 'rts/Messages.h')
| -rw-r--r-- | rts/Messages.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/rts/Messages.h b/rts/Messages.h new file mode 100644 index 0000000000..15c037954b --- /dev/null +++ b/rts/Messages.h @@ -0,0 +1,18 @@ +/* --------------------------------------------------------------------------- + * + * (c) The GHC Team, 2010 + * + * Inter-Capability message passing + * + * --------------------------------------------------------------------------*/ + +BEGIN_RTS_PRIVATE + +nat messageBlackHole(Capability *cap, MessageBlackHole *msg); + +#ifdef THREADED_RTS +void executeMessage (Capability *cap, Message *m); +void sendMessage (Capability *from_cap, Capability *to_cap, Message *msg); +#endif + +END_RTS_PRIVATE |