28 namespace L4Re {
namespace Util {
58 template<
typename T >
59 using Shared_cap = L4::Detail::Shared_cap_impl<T, Smart_count_cap<L4_FP_ALL_SPACES>>;
61 template<
typename T >
62 using shared_cap = L4::Detail::Shared_cap_impl<T, Smart_count_cap<L4_FP_ALL_SPACES>>;
69 template<
typename T >
108 template<
typename T >
109 using Shared_del_cap = L4::Detail::Shared_cap_impl<T, Smart_count_cap<L4_FP_DELETE_OBJ>>;
111 template<
typename T >
112 using shared_del_cap = L4::Detail::Shared_cap_impl<T, Smart_count_cap<L4_FP_DELETE_OBJ>>;
119 template<
typename T >
Shared_cap< T > make_shared_cap()
Allocate a capability slot and wrap it in a Shared_cap.
L4::Detail::Shared_cap_impl< T, Smart_count_cap< L4_FP_ALL_SPACES > > Shared_cap
Shared capability that implements automatic free and unmap of the capability selector.
_Cap_alloc & cap_alloc
Capability allocator.
Shared_del_cap< T > make_shared_del_cap()
Allocate a capability slot and wrap it in a Shared_del_cap.
L4::Cap< void > alloc()
Allocate a new capability slot.
L4::Detail::Shared_cap_impl< T, Smart_count_cap< L4_FP_ALL_SPACES > > shared_cap
Shared capability that implements automatic free and unmap of the capability selector.
L4::Detail::Shared_cap_impl< T, Smart_count_cap< L4_FP_DELETE_OBJ > > shared_del_cap
Shared capability that implements automatic free and unmap+delete of the capability selector...
L4::Detail::Shared_cap_impl< T, Smart_count_cap< L4_FP_DELETE_OBJ > > Shared_del_cap
Shared capability that implements automatic free and unmap+delete of the capability selector...