Lines Matching refs:reference
36 * This shared capability implements a counted reference to a capability
37 * selector. The capability shall be unmapped and freed when the reference
47 * // reference count for the allocated cap selector is now 1
53 * // reference count is now 2
56 * // reference count dropped to 1 (ds_cap is no longer existing).
80 * This shared capability implements a counted reference to a capability
81 * selector. The capability shall be unmapped and freed when the reference
94 * // reference count for the allocated cap selector is now 1
100 * // reference count is now 2
103 * // reference count dropped to 1 (ds_cap is no longer existing).
106 * // reference count dropped to 0 (data space shall be deleted).