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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c794 DEBUG_ERR(send_err, "sending cap_send_request failed");
825 DEBUG_ERR(queue_err, "enqueuing cap_send_request failed");
831 cap_send_request(struct monitor_binding *b, uintptr_t my_mon_id, function
834 DEBUG_CAPOPS("cap_send_request\n");
852 DEBUG_ERR(err, "Failed to allocate cap_send_request state");
993 .cap_send_request = cap_send_request,
994 .cap_move_request = cap_send_request,
H A Dinter.c300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id, function
739 .cap_send_request = cap_send_request,
/barrelfish-master/lib/barrelfish/
H A Dflounder_support.c145 err = mb->tx_vtbl.cap_send_request(mb, MKCONT(cap_send_cont, s),
/barrelfish-master/doc/011-idc/
H A DIDC.tex949 acknowledgement has been seen, a \lstinline+cap_send_request+ message
960 \lstinline+cap_send_request+ message on the inter-monitor channel.

Completed in 91 milliseconds