Searched refs:cap_send_request (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/monitor/ |
H A D | monitor_server.c | 794 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 D | inter.c | 300 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 D | flounder_support.c | 145 err = mb->tx_vtbl.cap_send_request(mb, MKCONT(cap_send_cont, s),
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 949 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