Searched refs:single_slot_alloc_init_raw (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/
H A Dslot_alloc.c201 err = single_slot_alloc_init_raw(&def->head->a, cap, cnode,
212 err = single_slot_alloc_init_raw(&def->reserve->a, cap, cnode,
235 err = single_slot_alloc_init_raw(&state->rootca, cap_root, cnode_root,
H A Dtwolevel_slot_alloc.c122 err = single_slot_alloc_init_raw(&mca->reserve->a, cap, cnode,
197 err = single_slot_alloc_init_raw(&ret->head->a, initial_cap,
205 err = single_slot_alloc_init_raw(&ret->reserve->a, reserve_cap,
H A Dsingle_slot_alloc.c203 errval_t single_slot_alloc_init_raw(struct single_slot_allocator *ret, function
263 err = single_slot_alloc_init_raw(ret, cap, cnode, nslots, buf, buflen);
/barrelfish-2018-10-04/include/barrelfish/
H A Dslot_alloc.h75 // single_slot_alloc_init_raw() requires a specific buflen
81 errval_t single_slot_alloc_init_raw(struct single_slot_allocator *ret,
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c165 // XXX: satisfy a peculiarity of the single_slot_alloc_init_raw API
170 err = single_slot_alloc_init_raw(&si->pagecn_slot_alloc, si->pagecn_cap,

Completed in 43 milliseconds