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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c105 static void alloc_iref_reply_cont(struct monitor_binding *b, function
141 alloc_iref_reply_cont(b, st->args.service_id, st->args.iref,
153 alloc_iref_reply_cont(b, service_id, iref, reterr);

Completed in 30 milliseconds