L4Re - L4 Runtime Environment
|
Automatic capability that implements automatic free and unmap+delete of the capability selector. More...
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 is useful for capabilities with that shall have a lifetime that is strictly coupled to one C++ scope. The main difference to Auto_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: