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

/barrelfish-master/lib/barrelfish/
H A Didc_export.c98 errval_t err = mb->tx_vtbl.get_service_id_request(mb, NOP_CONT, st->iref);
/barrelfish-master/usr/monitor/
H A Dmonitor_server.c205 static void get_service_id_request(struct monitor_binding *b, iref_t iref) function
973 .get_service_id_request = get_service_id_request,

Completed in 31 milliseconds