![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Adapter to expose the cap allocator implementation as L4Re::Cap_alloc compatible class. More...
#include <cap_alloc_impl.h>
Public Member Functions | |
L4::Cap< void > | alloc () noexcept override |
Allocate a capability. | |
template<typename T> | |
L4::Cap< T > | alloc () noexcept |
Allocate a capability. | |
void | free (L4::Cap< void > cap, l4_cap_idx_t task=L4_INVALID_CAP, unsigned unmap_flags=L4_FP_ALL_SPACES) noexcept override |
Free a capability. | |
Public Member Functions inherited from L4Re::Cap_alloc | |
template<typename T> | |
L4::Cap< T > | alloc () noexcept |
Allocate a capability. | |
virtual | ~Cap_alloc ()=0 |
Destructor. |
Adapter to expose the cap allocator implementation as L4Re::Cap_alloc compatible class.
Not intended to be used in application code.
Definition at line 66 of file cap_alloc_impl.h.
|
inlinevirtualnoexcept |
Allocate a capability.
Implements L4Re::Cap_alloc.
Definition at line 79 of file cap_alloc_impl.h.
References alloc(), and L4::cap_cast().
|
inlineoverridevirtualnoexcept |
Allocate a capability.
Implements L4Re::Cap_alloc.
Definition at line 75 of file cap_alloc_impl.h.
Referenced by alloc().
|
inlineoverridevirtualnoexcept |
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. |
Implements L4Re::Cap_alloc.
Definition at line 85 of file cap_alloc_impl.h.
References L4_FP_ALL_SPACES, and L4_INVALID_CAP.