L4Re - L4 Runtime Environment
|
Capability allocator interface. More...
Inherited by L4Re::Cap_alloc_t< ALLOC >.
Public Member Functions | |
virtual L4::Cap< void > | alloc ()=0 throw () |
Allocate a capability. More... | |
template<typename T > | |
L4::Cap< T > | alloc () throw () |
Allocate a capability. More... | |
virtual void | free (L4::Cap< void > cap, l4_cap_idx_t task=L4_INVALID_CAP, unsigned unmap_flags=L4_FP_ALL_SPACES)=0 throw () |
Free a capability. More... | |
virtual | ~Cap_alloc ()=0 |
Destructor. | |
Static Public Member Functions | |
template<typename CAP_ALLOC > | |
static L4Re::Cap_alloc * | get_cap_alloc (CAP_ALLOC &ca) |
Construct an instance of a capability allocator. More... | |
|
pure virtual |
Allocate a capability.
Referenced by alloc(), get_cap_alloc(), L4Re::make_shared_cap(), L4Re::make_shared_del_cap(), L4Re::make_unique_cap(), and L4Re::make_unique_del_cap().
|
inline |
Allocate a capability.
Definition at line 64 of file cap_alloc.
References alloc(), L4::cap_cast(), free(), L4_FP_ALL_SPACES, L4_INVALID_CAP, and ~Cap_alloc().
|
pure virtual |
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. |
Referenced by alloc(), and get_cap_alloc().
|
inlinestatic |
Construct an instance of a capability allocator.
ca | Capability allocator |
Definition at line 90 of file cap_alloc.
References alloc(), free(), L4_FP_ALL_SPACES, and L4_INVALID_CAP.