Searched defs:cap_receive_handler (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ | ||
| H A D | monitor_client.h | 27 void (*cap_receive_handler)(void *st, errval_t success, struct capref cap, member in struct:monitor_cap_handlers |
Completed in 76 milliseconds