![]() |
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. | |
![]() | |
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().
|
inlineoverridevirtualnoexcept |
Allocate a capability.
Implements L4Re::Cap_alloc.
Definition at line 75 of file cap_alloc_impl.h.
Referenced by alloc(), L4Re::Util::Br_manager::alloc_buffer_demand(), L4Re::Util::make_ref_cap(), L4Re::Util::make_ref_del_cap(), L4Re::Util::make_shared_cap(), L4Re::Util::make_shared_del_cap(), L4Re::Util::make_unique_cap(), L4Re::Util::make_unique_del_cap(), and L4Re::Util::Br_manager::realloc_rcv_cap().
|
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.
Referenced by L4Re::Util::Smart_cap_auto< Unmap_flags >::free(), and L4Re::Util::Object_registry::unregister_obj().