L4Re - L4 Runtime Environment
|
Helper for Ref_cap and Ref_del_cap. More...
Public Member Functions | |
void | free (L4::Cap_base &c) throw () |
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) throw () |
Invalidate operation for L4::Smart_cap. | |
Helper for Ref_cap and Ref_del_cap.