Searched refs:send_err (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/usr/monitor/capops/ |
H A D | move.c | 178 errval_t err, send_err; local 189 goto send_err; 231 goto send_err; 234 send_err = monitor_set_domcap_owner(domcapref, from); 235 if (err_is_fail(send_err)) { 236 USER_PANIC_ERR(send_err, "failed to reset owner while handling move failure"); 240 send_err = monitor_unlock_cap(domcapref.croot, domcapref.cptr, 242 if (err_is_fail(send_err)) { 243 USER_PANIC_ERR(send_err, "failed to unlock cap while handling move failure"); 255 send_err [all...] |
H A D | delete.c | 244 GOTO_IF_ERR(err, send_err); 269 send_err:
|
H A D | copy.c | 584 GOTO_IF_ERR(err, send_err); 624 send_err:
|
H A D | capsend.c | 365 goto send_err; 384 send_err:
|
/barrelfish-master/lib/driverkit/ |
H A D | ddomain_service.c | 322 errval_t send_err = rpc_bind.binding->tx_vtbl.identify(rpc_bind.binding, NOP_CONT, ident); local 323 assert(err_is_ok(send_err));
|
/barrelfish-master/usr/monitor/ |
H A D | monitor_server.c | 788 errval_t send_err; local 791 send_err = intermon_cap_send_request__tx(b, NOP_CONT, conn->mon_id, 793 if (err_is_fail(send_err)) { 794 DEBUG_ERR(send_err, "sending cap_send_request failed");
|
H A D | inter.c | 310 goto send_err; 322 send_err:
|
Completed in 99 milliseconds