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

[barrelfish] / include / barrelfish / waitset.h

diff --git a/include/barrelfish/waitset.h b/include/barrelfish/waitset.h
index f2e208b..371e2cb 100644 (file)
--- a/include/barrelfish/waitset.h
+++ b/include/barrelfish/waitset.h
@@ -86,6 +86,7 @@ struct waitset_chanstate {
     bool persistent;                        ///< Channel should be always registered
     struct waitset_chanstate *polled_next, *polled_prev;    ///< Dispatcher's polled queue
     struct thread *wait_for;                ///< Thread waiting for this event
+    bool masked;
 };
 
 /**