![]() |
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 |
Allocate a capability.
Definition at line 53 of file cap_alloc.
References alloc(), and L4::cap_cast().
|
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.
References L4_FP_ALL_SPACES, and L4_INVALID_CAP.