![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Helper for Unique_cap and Unique_del_cap. More...
#include <cap_alloc>
Collaboration diagram for L4Re::Util::Smart_cap_auto< Unmap_flags >:Static Public Member Functions | |
| static void | free (L4::Cap_base &c) |
| Free the provided capability. | |
| static void | invalidate (L4::Cap_base &c) |
| Invalidate the provided capability. | |
Helper for Unique_cap and Unique_del_cap.