![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Capability allocator interface. More...
#include <cap_alloc>
Public Member Functions | |
virtual L4::Cap< void > | alloc () noexcept=0 |
Allocate a capability. | |
template<typename T > | |
L4::Cap< T > | alloc () noexcept |
Allocate a capability. | |
virtual void | free (L4::Cap< void > cap, l4_cap_idx_t task=L4_INVALID_CAP, unsigned unmap_flags=L4_FP_ALL_SPACES) noexcept=0 |
Free a capability. | |
virtual | ~Cap_alloc ()=0 |
Destructor. | |
|
inlinenoexcept |
|
pure virtualnoexcept |
Allocate a capability.
Implemented in L4Re::Util::_Cap_alloc, and L4Re::Util::_Cap_alloc.
Referenced by alloc(), L4Re::make_shared_cap(), L4Re::make_shared_del_cap(), L4Re::make_unique_cap(), and L4Re::make_unique_del_cap().
|
pure virtualnoexcept |
Free a capability.
cap | Capability to free. |
task | If set, task to unmap the capability from. |
unmap_flags | Flags for unmap, see l4_unmap_flags_t. |
Implemented in L4Re::Util::_Cap_alloc.