34 = L4::Detail::Shared_cap_impl<T, L4Re::Smart_count_cap<L4_FP_ALL_SPACES>>;
37using shared_cap [[deprecated(
"Use L4Re::Shared_cap.")]]
38 = L4::Detail::Shared_cap_impl<T, L4Re::Smart_count_cap<L4_FP_ALL_SPACES>>;
72 = L4::Detail::Shared_cap_impl<T, L4Re::Smart_count_cap<L4_FP_DELETE_OBJ>>;
75using shared_del_cap [[deprecated(
"Use L4Re::Shared_del_cap.")]]
76 = L4::Detail::Shared_cap_impl<T, L4Re::Smart_count_cap<L4_FP_DELETE_OBJ>>;
Abstract capability-allocator interface.
Capability allocator interface.
virtual L4::Cap< void > alloc() noexcept=0
Allocate a capability.
L4::Detail::Shared_cap_impl< T, L4Re::Smart_count_cap< L4_FP_ALL_SPACES > > Shared_cap
Shared capability that implements automatic free and unmap of the capability selector.
Shared_cap< T > make_shared_cap(L4Re::Cap_alloc *ca)
Allocate a capability slot and wrap it in a Shared_cap.
Shared_del_cap< T > make_shared_del_cap(L4Re::Cap_alloc *ca)
Allocate a capability slot and wrap it in a Shared_del_cap.
L4::Detail::Shared_cap_impl< T, L4Re::Smart_count_cap< L4_FP_DELETE_OBJ > > Shared_del_cap
Shared capability that implements automatic free and unmap+delete of the capability selector.