L4Re Operating System Framework
Interface and Usage Documentation
|
Data Structures | |
class | L4Re::Cap_alloc |
Capability allocator interface. More... | |
class | L4Re::Smart_cap_auto< Unmap_flags > |
Helper for Unique_cap and Unique_del_cap. More... | |
class | L4Re::Smart_count_cap< Unmap_flags > |
Helper for Ref_cap and Ref_del_cap. More... | |
class | L4Re::Util::Smart_cap_auto< Unmap_flags > |
Helper for Unique_cap and Unique_del_cap. More... | |
class | L4Re::Util::Smart_count_cap< Unmap_flags > |
Helper for Ref_cap and Ref_del_cap. More... | |
struct | L4Re::Util::Ref_cap< T > |
Automatic capability that implements automatic free and unmap of the capability selector. More... | |
struct | L4Re::Util::Ref_del_cap< T > |
Automatic capability that implements automatic free and unmap+delete of the capability selector. More... | |
Functions | |
template<typename T > | |
Ref_cap< T >::Cap | L4Re::Util::make_ref_cap () |
Allocate a capability slot and wrap it in a Ref_cap. | |
template<typename T > | |
Ref_del_cap< T >::Cap | L4Re::Util::make_ref_del_cap () |
Allocate a capability slot and wrap it in a Ref_del_cap. | |
virtual | L4Re::Cap_alloc::~Cap_alloc ()=0 |
Destructor. | |
Variables | |
_Cap_alloc & | L4Re::Util::cap_alloc |
Capability allocator. | |
Ref_cap< T >::Cap L4Re::Util::make_ref_cap | ( | ) |
Allocate a capability slot and wrap it in a Ref_cap.
T | Type of capability the slot is used for. |
Definition at line 206 of file cap_alloc.
References L4Re::Util::cap_alloc.
Ref_del_cap< T >::Cap L4Re::Util::make_ref_del_cap | ( | ) |
Allocate a capability slot and wrap it in a Ref_del_cap.
T | Type of capability the slot is used for. |
Definition at line 215 of file cap_alloc.
References L4Re::Util::cap_alloc.
|
extern |
Capability allocator.
This is the instance of the capability allocator that is used by usual applications.
The capability allocator uses the Counting_cap_alloc, a reference-counting thread-safe capability allocator, that keeps a reference counter for each managed capability selector.
Referenced by L4Re::Util::Br_manager::alloc_buffer_demand(), L4Re::Util::Smart_count_cap< Unmap_flags >::copy(), L4Re::Util::Smart_cap_auto< Unmap_flags >::free(), L4Re::Util::Smart_count_cap< Unmap_flags >::free(), L4Re::Util::make_ref_cap(), L4Re::Util::make_ref_del_cap(), L4Re::Util::make_shared_cap(), L4Re::Util::make_shared_del_cap(), L4Re::Util::make_unique_cap(), L4Re::Util::make_unique_del_cap(), L4Re::Util::Br_manager::realloc_rcv_cap(), and L4Re::Util::Object_registry::unregister_obj().