Helper for Auto_cap and Auto_del_cap. More...
Helper for Auto_cap and Auto_del_cap.
Definition at line 147 of file cap_alloc.