NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Allocates capabilities from a certain range. More...
#include <capalloc.h>
Public Member Functions | |
unsigned | alloc_cap (unsigned count=1) |
void | dealloc_cap (unsigned cap, unsigned count=1) |
Allocates capabilities from a certain range.
The range is given by _cap_start and _cap_order parameters.
Note: allocator and deallocator required which handle concurrency threads well XXX
unsigned InternalCapAllocator::alloc_cap | ( | unsigned | count = 1 | ) |
void InternalCapAllocator::dealloc_cap | ( | unsigned | cap, |
unsigned | count = 1 |
||
) |
Reimplemented in ab::AdmissionService, and CapAllocator.