Searched defs:waitset_chan_is_registered (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ | ||
| H A D | waitset_chan.h | 23 static inline bool waitset_chan_is_registered(struct waitset_chanstate *chan) function |
Completed in 30 milliseconds