|
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.