|
L4Re - L4 Runtime Environment
|
Automatic capability that implements automatic free and unmap+delete of the capability selector. More...
Collaboration diagram for L4Re::Util::Ref_del_cap< T >:Automatic capability that implements automatic free and unmap+delete 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. The main difference to Ref_cap is that the unmap is done with the deletion flag enabled and this leads to the deletion of the object if the current task holds appropriate deletion rights.
Usage: