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

/barrelfish-master/usr/monitor/include/
H A Dsend_cap.h19 intermon_captx_t captx; member in struct:captx_prepare_state
/barrelfish-master/usr/monitor/
H A Dsend_cap.c80 captx_handle_recv(intermon_captx_t *captx, struct captx_recv_state *state, argument
H A Dinter.c300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id, uint32_t capid, intermon_captx_t captx) argument
H A Dmonitor_server.c780 intermon_captx_t captx; member in struct:send_cap_st
800 cap_send_request_tx_cont(errval_t err, struct captx_prepare_state *captx_st, intermon_captx_t *captx, void *st_) argument

Completed in 83 milliseconds