lib/mm/slot_alloc.c

71 errval_t slot_alloc_prealloc(void *inst, uint64_t nslots, struct capref *ret)
74     assert(nslots <= (1UL << this->maxslotbits));
77     if (this->meta[this->current].free < nslots) {
82     if (this->meta[this->current].free < nslots) {
88     this->meta[this->current].cap.slot += nslots;
89     this->meta[this->current].free -= nslots;
136 errval_t slot_alloc_basecn(void *inst, uint64_t nslots, struct capref *ret)
141     if (nslots > this->free) {
169     assert(nslots <= this->free);
171     this->cap.slot += nslots;
172     this->free -= nslots;
178 errval_t slot_alloc_dynamic(void *alloc, uint64_t nslots, struct capref *ret)
180     return range_slot_alloc(alloc, nslots, ret);