Searched refs:rsrc_phase_data_done (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/monitor/ | ||
H A D | resource_ctrl.c | 61 static void rsrc_phase_data_done(void *arg) function 100 err = b->tx_vtbl.rsrc_phase_data(b, MKCONT(rsrc_phase_data_done,b), id, |
Completed in 32 milliseconds