Searched refs:range_slot_alloc_refill (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish/
H A Dslot_alloc.h115 errval_t range_slot_alloc_refill(struct range_slot_allocator *alloc, cslot_t slots);
/barrelfish-2018-10-04/lib/mm/
H A Dslot_alloc.c185 return range_slot_alloc_refill(alloc, L2_CNODE_SLOTS);
/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_allocators.c86 err = range_slot_alloc_refill(&devframes_allocator, L2_CNODE_SLOTS);
/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/
H A Drange_slot_alloc.c302 errval_t range_slot_alloc_refill(struct range_slot_allocator *alloc, cslot_t slots) function

Completed in 39 milliseconds