Searched defs:polled_channels (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish/
H A Ddispatcher.h95 struct waitset_chanstate *polled_channels; member in struct:dispatcher_generic

Completed in 32 milliseconds