mt-waitset: adding masking of channels so a thread won't handle two messages at the...

[barrelfish] / include / barrelfish / threads.h

diff --git a/include/barrelfish/threads.h b/include/barrelfish/threads.h
index f64e1fb..97980d5 100644 (file)
--- a/include/barrelfish/threads.h
+++ b/include/barrelfish/threads.h
@@ -91,6 +91,9 @@ bool thread_get_rpc_in_progress(void);
 void thread_set_async_error(errval_t e);
 errval_t thread_get_async_error(void);
 
+void thread_set_mask_channels(bool m);
+bool thread_get_mask_channels(void);
+
 extern __thread thread_once_t thread_once_local_epoch;
 extern void thread_once_internal(thread_once_t *control, void (*func)(void));