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

/barrelfish-master/usr/monitor/include/
H A Dcapsend.h61 typedef void (*capsend_find_cap_result_fn)(errval_t, coreid_t, void*); typedef
64 capsend_find_cap_result_fn result_fn,
/barrelfish-master/usr/monitor/capops/
H A Dcapsend.c264 capsend_find_cap_result_fn result_handler;
277 capsend_find_cap(struct capability *cap, capsend_find_cap_result_fn result_handler, void *st)

Completed in 41 milliseconds