L4Re - L4 Runtime Environment
|
Automatic capability that implements automatic free and unmap of the capability selector. More...
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: