Searched refs:flounder_support_deregister_chan (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/include/flounder/
H A Dflounder_support.h44 void flounder_support_deregister_chan(struct waitset_chanstate *wc);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dflounder_support.c55 void flounder_support_deregister_chan(struct waitset_chanstate *wc) function

Completed in 88 milliseconds