![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Automatic capability that implements automatic free and unmap of the capability selector. More...
#include <cap_alloc>
Inheritance diagram for L4Re::Util::Ref_cap< T >:
Collaboration diagram for L4Re::Util::Ref_cap< T >:Automatic capability that implements automatic free and unmap of the capability selector.
| T | Type of the object that is referred by the capability. |
This kind of automatic capability implements a counted reference to a capability selector. The capability shall be unmapped and freed when the reference count in the allocator goes to zero.
Usage: