28 namespace L4Re {
namespace Util {
53 template<
typename T >
54 using Unique_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_ALL_SPACES>>;
56 template<
typename T >
57 using unique_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_ALL_SPACES>>;
64 template<
typename T >
96 template<
typename T >
97 using Unique_del_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_DELETE_OBJ>>;
98 template<
typename T >
100 using unique_del_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_DELETE_OBJ>>;
107 template<
typename T >
Unique_del_cap< T > make_unique_del_cap()
Allocate a capability slot and wrap it in an Unique_del_cap.
L4::Detail::Unique_cap_impl< T, Smart_cap_auto< L4_FP_DELETE_OBJ > > Unique_del_cap
Unique capability that implements automatic free and unmap+delete of the capability selector...
L4::Detail::Unique_cap_impl< T, Smart_cap_auto< L4_FP_ALL_SPACES > > unique_cap
Unique capability that implements automatic free and unmap of the capability selector.
L4::Detail::Unique_cap_impl< T, Smart_cap_auto< L4_FP_ALL_SPACES > > Unique_cap
Unique capability that implements automatic free and unmap of the capability selector.
Unique_cap< T > make_unique_cap()
Allocate a capability slot and wrap it in an Unique_cap.
_Cap_alloc & cap_alloc
Capability allocator.
L4::Cap< void > alloc()
Allocate a new capability slot.
L4::Detail::Unique_cap_impl< T, Smart_cap_auto< L4_FP_DELETE_OBJ > > unique_del_cap
Unique capability that implements automatic free and unmap+delete of the capability selector...