Searched refs:sp_reset_pool (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/lib/procon/ | ||
| H A D | procon.c | 235 static void sp_reset_pool(struct shared_pool_private *spp, uint64_t slot_count) function 265 } // sp_reset_pool 308 sp_reset_pool(spp, slot_no); |
Completed in 28 milliseconds