33 namespace L4Re {
namespace Util {
58 template<
unsigned long Unmap_flags = L4_FP_ALL_SPACES >
98 template<
unsigned long Unmap_flags = L4_FP_ALL_SPACES >
110 if (cap_alloc.release(
L4::Cap<void>(c.cap()), This_task, Unmap_flags))
162 template<
typename T >
199 template<
typename T >
234 template<
typename T >
275 template<
typename T >
288 #pragma GCC diagnostic push 289 #pragma GCC diagnostic ignored "-Wdeprecated-declarations" 290 template<
typename T >
303 template<
typename T >
307 #pragma GCC diagnostic pop 314 template<
typename T >
323 template<
typename T >
static void free(L4::Cap_base &c)
Free operation for L4::Smart_cap.
Automatic capability that implements automatic free and unmap of the capability selector.
Automatic capability that implements automatic free and unmap of the capability selector.
Helper for Ref_cap and Ref_del_cap.
Auto_del_cap< T >::Cap make_auto_del_cap()
Allocate a capability slot and wrap it in an Auto_del_cap.
Common task related definitions.
static L4::Cap_base copy(L4::Cap_base const &src)
Copy operation for L4::Smart_cap (increment ref count).
static void invalidate(L4::Cap_base &c)
Invalidate operation for L4::Smart_cap.
Auto_cap< T >::Cap make_auto_cap()
Allocate a capability slot and wrap it in an Auto_cap.
Helper for Auto_cap and Auto_del_cap.
void invalidate()
Set this capability to invalid (L4_INVALID_CAP).
static void free(L4::Cap_base &c)
Free operation for L4::Smart_cap (decrement ref count and delete if 0).
l4_cap_idx_t cap() const
Return capability selector.
_Cap_alloc & cap_alloc
Capability allocator.
Automatic capability that implements automatic free and unmap+delete of the capability selector...
Base class for all kinds of capabilities.
bool is_valid() const
Test whether the capability is a valid capability index (i.e., not L4_INVALID_CAP).
Ref_del_cap< T >::Cap make_ref_del_cap()
Allocate a capability slot and wrap it in a Ref_del_cap.
static void invalidate(L4::Cap_base &c)
Invalidate operation for L4::Smart_cap.
Capability allocator implementation.
Ref_cap< T >::Cap make_ref_cap()
Allocate a capability slot and wrap it in a Ref_cap.
C++ interface for capabilities.
static L4::Cap_base copy(L4::Cap_base const &src)
Copy operation for L4::Smart_cap.
Automatic capability that implements automatic free and unmap+delete of the capability selector...
#define L4_DEPRECATED(s)
Mark symbol deprecated.