Searched refs:captx (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/monitor/include/ |
H A D | send_cap.h | 19 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 D | send_cap.c | 23 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 D | monitor_server.c | 780 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 D | inter.c | 301 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