Searched refs:allocate_response_done (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/mem_serv_dist/ |
H A D | hybrid_support.c | 53 static void allocate_response_done(void *arg) function 76 err = b->tx_vtbl.allocate_response(b, MKCONT(allocate_response_done, r->acap), 88 allocate_response_done(r->acap); 253 err = b->tx_vtbl.allocate_response(b, MKCONT(allocate_response_done, cap), 267 allocate_response_done(cap);
|
/barrelfish-master/usr/mem_serv/ |
H A D | mem_serv.c | 174 static void allocate_response_done(void *arg) function 195 err = b->tx_vtbl.allocate_response(b, MKCONT(allocate_response_done, r->cap), 205 allocate_response_done(r->cap); 344 err = b->tx_vtbl.allocate_response(b, MKCONT(allocate_response_done, cap), 357 allocate_response_done(cap);
|
Completed in 35 milliseconds