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

/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c228 static size_t calculate_shared_pool_size(uint64_t slot_no) argument
231 ((sizeof(union slot)) * (slot_no - TMP_SLOTS)));
269 struct shared_pool_private *sp_create_shared_pool(uint64_t slot_no, argument
278 assert(slot_no > 2);
281 size_t mem_size = calculate_shared_pool_size((slot_no));
304 spp->alloted_slots = slot_no;
308 sp_reset_pool(spp, slot_no);
327 uint64_t slot_no, uint8_t role)
332 assert(slot_no > 2);
334 spp->alloted_slots = slot_no;
326 sp_map_shared_pool(struct shared_pool_private *spp, struct capref cap, uint64_t slot_no, uint8_t role) argument
[all...]
/barrelfish-2018-10-04/include/procon/
H A Dprocon.h111 struct shared_pool_private *sp_create_shared_pool(uint64_t slot_no,
114 uint64_t slot_no, uint8_t role);

Completed in 38 milliseconds