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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c805 struct send_cap_st *send_st = (struct send_cap_st*)st_; local
810 free(send_st);
814 send_st->captx = *captx;
817 send_st->qe.cont = cap_send_tx_cont;
818 struct remote_conn_state *conn = remote_conn_lookup(send_st->my_mon_id);
823 (struct msg_queue_elem*)send_st);
826 free(send_st);

Completed in 81 milliseconds