L4Re Operating System Framework
Interface and Usage Documentation
|
Helper for Unique_cap and Unique_del_cap. More...
#include <cap_alloc>
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.