![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Capability allocator interface. More...
#include <cap_alloc>
Inheritance diagram for L4Re::Cap_alloc:
Collaboration diagram for L4Re::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().
Here is the caller graph for this function:
|
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.