Searched refs:register_response_sent_cb (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/device_managers/xeon_phi/ | ||
| H A D | service.c | 66 static void register_response_sent_cb(void *a) function 81 struct event_closure txcont = MKCONT(register_response_sent_cb, a); |
Completed in 28 milliseconds