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