Lines Matching refs:reference
47 * Per default we use Counting_cap_alloc, a reference-counting
49 * keeps a reference counter for each managed capability selector.
141 * This kind of automatic capability implements a counted reference to a
143 * when the reference count in the allocator goes to zero.
152 * // reference count for the allocated cap selector is now 1
158 * // reference count is now 2
161 * // reference count dropped to 1 (ds_cap is no longer existing).
176 * This kind of automatic capability implements a counted reference to a
178 * when the reference count in the allocator goes to zero.
190 * // reference count for the allocated cap selector is now 1
196 * // reference count is now 2
199 * // reference count dropped to 1 (ds_cap is no longer existing).
202 * // reference count dropped to 0 (data space shall be deleted).