L4Re Operating System Framework
Interface and Usage Documentation
|
Helper for Ref_cap and Ref_del_cap. More...
#include <cap_alloc>
Public Member Functions | |
void | free (L4::Cap_base &c) noexcept |
Free operation for L4::Smart_cap (decrement ref count and delete if 0). | |
L4::Cap_base | copy (L4::Cap_base const &src) |
Copy operation for L4::Smart_cap (increment ref count). | |
Static Public Member Functions | |
static void | invalidate (L4::Cap_base &c) noexcept |
Invalidate operation for L4::Smart_cap. | |
Helper for Ref_cap and Ref_del_cap.