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

/barrelfish-master/usr/monitor/
H A Dqueue.c173 void destroy_outgoing_cap(void *arg) function

Completed in 26 milliseconds