Lines Matching refs:ko
113 L4::Cap<L4::Kobject> ko; in op_create() local
120 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
121 ko->dec_refcnt(1); in op_create()
123 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
130 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
131 ko->dec_refcnt(1); in op_create()
133 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
146 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
147 ko->dec_refcnt(1); in op_create()
150 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
175 ko = object_pool.cap_alloc()->alloc(l.get()); in op_create()
176 ko->dec_refcnt(1); in op_create()
178 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
209 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
210 ko->dec_refcnt(1); in op_create()
212 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
231 ko = object_pool.cap_alloc()->alloc(mo.get()); in op_create()
232 ko->dec_refcnt(1); in op_create()
234 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
242 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
243 ko->dec_refcnt(1); in op_create()
244 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()