L4Re Operating System Framework
Interface and Usage Documentation
|
Automatic capability that implements automatic free and unmap of the capability selector. More...
#include <cap_alloc>
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: