Searched refs: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
32 void captx_handle_recv(intermon_captx_t *captx, struct captx_recv_state *state,
/barrelfish-master/usr/monitor/
H A Dsend_cap.c23 st->captx.cnptr = cnaddr;
24 st->captx.cnlevel = cnlevel;
25 st->captx.slot = slot;
27 intermon_captx_t *tx = err_is_ok(status) ? &st->captx : NULL;
80 captx_handle_recv(intermon_captx_t *captx, struct captx_recv_state *state, argument
89 err = captx_get_capref(captx->cnptr, captx->cnlevel, captx->slot, &cap);
H A Dmonitor_server.c780 intermon_captx_t captx; member in struct:send_cap_st
792 st->capid, st->captx);
801 intermon_captx_t *captx, void *st_)
814 send_st->captx = *captx;
800 cap_send_request_tx_cont(errval_t err, struct captx_prepare_state *captx_st, intermon_captx_t *captx, void *st_) argument
H A Dinter.c301 uint32_t capid, intermon_captx_t captx)
317 captx_handle_recv(&captx, &st->captx_st,
300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id, uint32_t capid, intermon_captx_t captx) argument

Completed in 91 milliseconds