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