| 
    Barrelfish
    
   | 
 
Per-channel state belonging to waitset. More...
 Collaboration diagram for waitset_chanstate:Data Fields | |
| struct waitset_chanstate * | prev | 
| Next/prev channel in queue.  | |
| struct waitset * | waitset | 
| Waitset in which this channel is registered.  | |
| struct event_closure | closure | 
| Event closure to run when channel is ready.  | |
| enum ws_chantype | chantype | 
| Channel type.  | |
| enum ws_chanstate | state | 
| Channel event state.  | |
| uint32_t | token | 
| Token of an event.  | |
| bool | persistent | 
| Channel should be always registered.  | |
| struct waitset_chanstate * | polled_prev | 
| Dispatcher's polled queue.  | |
| struct thread * | wait_for | 
| Thread waiting for this event.  | |
| struct waitset_chanstate * | trigger | 
| Chanstate that triggers this chanstate.  | |
Per-channel state belonging to waitset.
This data is logically private to the waitset, but is allocated and stored inside the channels themselves.
 1.8.11