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

[barrelfish] / lib / barrelfish / include / threads_priv.h

diff --git a/lib/barrelfish/include/threads_priv.h b/lib/barrelfish/include/threads_priv.h
index 692bc47..9fb381c 100644 (file)
--- a/lib/barrelfish/include/threads_priv.h
+++ b/lib/barrelfish/include/threads_priv.h
@@ -81,6 +81,7 @@ struct thread {
     bool    rpc_in_progress;               ///< RPC in progress
     errval_t    async_error;                ///< RPC async error
     uint32_t    outgoing_token;             ///< Token of outgoing message
+    bool    mask_channels;
 };
 
 void thread_enqueue(struct thread *thread, struct thread **queue);