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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c160 struct get_service_id_reply_state { struct
174 struct get_service_id_reply_state *me =
175 malloc(sizeof(struct get_service_id_reply_state));
200 struct get_service_id_reply_state *st = (struct get_service_id_reply_state *)e;

Completed in 29 milliseconds