Searched refs:get_service_id_reply_cont (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/monitor/ |
| H A D | monitor_server.c | 166 static void get_service_id_reply_cont(struct monitor_binding *b, errval_t reterr, function
201 get_service_id_reply_cont(b, st->args.err, st->args.iref, st->args.service_id);
216 get_service_id_reply_cont(b, MON_ERR_IDC_BIND_NOT_SAME_CORE, iref, 0);
223 get_service_id_reply_cont(b, err, iref, 0);
230 get_service_id_reply_cont(b, err, iref, service_id);
|
Completed in 79 milliseconds