Lines Matching refs:cap
115 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
117 L4::cerr << "AC->" << L4::n_hex(cap.cap()) << "\n";
119 return cap;
130 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
132 L4::cerr << "ACO->" << L4::n_hex(cap.cap()) << "\n";
134 if (!cap.is_valid())
138 l4_factory_create_gate(L4_BASE_FACTORY_CAP, cap.cap(),
141 _o->set_server(&object_pool, cap, true);
142 return cap;
145 bool free(L4::Cap<void> const &cap, l4_umword_t unmap_flags = L4_FP_ALL_SPACES)
147 if (!cap.is_valid())
150 if ((cap.cap() >> L4_CAP_SHIFT) >= Non_gc_cap_0)
151 _non_gc.free(cap, L4_BASE_TASK_CAP, unmap_flags);