![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Capability allocator. More...
#include <bitmap_cap_alloc>
Public Member Functions | |
template<typename T> | |
L4::Cap< T > | alloc () noexcept |
Allocate a capability slot. | |
template<typename T> | |
void | free (L4::Cap< T > const &cap, l4_cap_idx_t task=L4_INVALID_CAP, l4_umword_t unmap_flags=L4_FP_ALL_SPACES) noexcept |
Free a capability slot. |
Capability allocator.
Definition at line 28 of file bitmap_cap_alloc.