Searched refs:cap_cast (Results 1 – 16 of 16) sorted by relevance
93 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in map()108 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in free()
72 { return L4::cap_cast<CT>(_capif->cap_alloc()); }76 { _capif->cap_free(L4::cap_cast<CT>(x)); }
379 Cap<T> cap_cast(Cap<F> const &c) noexcept in cap_cast() function388 Cap<T> cap_cast(Cap<L4::Kobject> const &c) noexcept in cap_cast() function
119 * L4::cap_cast<>().123 { return L4::cap_cast<T>(get_rcv_cap(index)); }278 { return L4::cap_cast<RPC_IFACE>(BASE::obj_cap()); }303 { return L4::cap_cast<L4::Irq>(BASE::obj_cap()); }320 { return L4::cap_cast<L4::Irq>(BASE::obj_cap()); }
68 ns = L4::cap_cast<Namespace>(target); in _query()
102 _fb_ds = L4::cap_cast<L4Re::Dataspace>(object_pool.cap_alloc()->alloc(fb)); in Vesa_fb()
123 L4::Cap<T> alloc() { return L4::cap_cast<T>(alloc()); }
68 return L4::cap_cast<T>(query(name, __builtin_strlen(name),
155 return L4::cap_cast<T>(alloc());
56 { return L4::cap_cast<T>(_c); } in cap()
161 Ref_cap<L4::Meta>::Cap _meta = L4::cap_cast<L4::Meta>(_c); in find_dynamic_type()
393 L4::cap_cast<Obs_iface>(observer->obj_cap())->wait(pthread_l4_cap(pthread_self()), t.get()); in __task_wait()
65 { return L4::cap_cast<T>(alloc()); }
203 Smart_cap<T, SMART> cap_cast(Smart_cap<F, SMART> const &c) noexcept
80 { return cap_cast<Kobject>(Epiface::obj_cap()); }
813 { return cxx::ref_ptr(new IMPL(L4::cap_cast<IFACE>(file))); } in create()
Completed in 13 milliseconds