33namespace L4Re {
namespace Util {
55template<
unsigned long Unmap_flags = L4_FP_ALL_SPACES >
86template<
unsigned long Unmap_flags = L4_FP_ALL_SPACES >
152template<
typename T >
193template<
typename T >
204template<
typename T >
213template<
typename T >
214typename Ref_del_cap<T>::Cap
Capability allocator implementation.
Helper for Unique_cap and Unique_del_cap.
static void invalidate(L4::Cap_base &c)
Invalidate the provided capability.
static void free(L4::Cap_base &c)
Free the provided capability.
Helper for Ref_cap and Ref_del_cap.
static L4::Cap_base copy(L4::Cap_base const &src)
Copy operation for L4::Smart_cap (increment ref count).
static void free(L4::Cap_base &c) noexcept
Free operation for L4::Smart_cap (decrement ref count and delete if 0).
static void invalidate(L4::Cap_base &c) noexcept
Invalidate operation for L4::Smart_cap.
Base class for all kinds of capabilities.
void invalidate() noexcept
Set this capability to invalid (L4_INVALID_CAP).
l4_cap_idx_t cap() const noexcept
Return capability selector.
bool is_valid() const noexcept
Test whether the capability is a valid capability index (i.e., not L4_INVALID_CAP).
C++ interface for capabilities.
_Cap_alloc & cap_alloc
Capability allocator.
Ref_del_cap< T >::Cap make_ref_del_cap()
Allocate a capability slot and wrap it in a Ref_del_cap.
Ref_cap< T >::Cap make_ref_cap()
Allocate a capability slot and wrap it in a Ref_cap.
Automatic capability that implements automatic free and unmap of the capability selector.
Automatic capability that implements automatic free and unmap+delete of the capability selector.
Common task related definitions.