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

/barrelfish-master/usr/monitor/include/
H A Dqueue.h64 void destroy_outgoing_cap(void *arg);
/barrelfish-master/usr/monitor/
H A Dqueue.c173 void destroy_outgoing_cap(void *arg) function
H A Dmonitor_server.c323 send_cont = MKCONT(destroy_outgoing_cap, capp);
457 send_cont = MKCONT(destroy_outgoing_cap, capp);

Completed in 42 milliseconds