Lines Matching refs:cap
40 object_pool.cap_alloc()->free(cap()); in ~Entry()
49 Entry::set(L4::Cap<void> cap) in set() argument
51 _cap = cap.cap(); in set()
80 Entry::set_cap_copy(L4::Cap<L4::Kobject> cap) in set_cap_copy() argument
85 nc.move(cap); in set_cap_copy()
110 && n->cap().validate(L4_BASE_TASK_CAP).label() > 0) in check_existing()
166 Name_buffer const &name, L4::Ipc::Snd_fpage &cap) in op_register_obj() argument
171 if (cap.local_id_received()) in op_register_obj()
180 if (cap.id_received()) in op_register_obj()
181 n->set_epiface(cap.data()); in op_register_obj()
182 else if (cap.cap_received()) in op_register_obj()
184 else if (cap.is_valid()) in op_register_obj()
252 if (n->cap().validate(L4_BASE_TASK_CAP).label() <= 0) in op_query()
281 snd_cap = L4::Ipc::Snd_fpage(n->cap(), flags); in op_query()
298 L4::cout << " " << i->name() << " -> " << i->cap(); in dump()