Searched refs:Unique_cap (Results 1 – 9 of 9) sorted by relevance
4 * Unique_cap / Unique_del_cap39 * allocator; otherwise use L4Re::Util::Unique_cap.42 using Unique_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_ALL_SPACES>>;43 /// \copydoc Unique_cap48 * Allocate a capability slot and wrap it in an Unique_cap.57 Unique_cap<T>59 { return Unique_cap<T>(ca->alloc<T>(), ca); }67 * The main difference to Unique_cap is that the unmap is done with the
143 * \brief Helper for Unique_cap and Unique_del_cap
130 * (L4::Cap, L4Re::Util::Unique_cap etc.)
4 * Unique_cap / Unique_del_cap41 * L4Re::Util::Unique_cap<L4Re::Dataspace>54 using Unique_cap = L4::Detail::Unique_cap_impl<T, Smart_cap_auto<L4_FP_ALL_SPACES>>;55 /// \copydoc Unique_cap60 * Allocate a capability slot and wrap it in an Unique_cap.65 Unique_cap<T>67 { return Unique_cap<T>(cap_alloc.alloc<T>()); }75 * The main difference to Unique_cap is that the unmap is done with the
74 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());127 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());169 Unique_cap<L4Re::Dataspace> _ev_ds;
56 * Helper for Unique_cap and Unique_del_cap.
60 Ns_dir::get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw() in get_ds()87 L4Re::Unique_cap<Dataspace> file; in get_entry()147 L4Re::Unique_cap<Dataspace> dirinfofile; in getdents()221 Env_dir::get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw() in get_ds()237 *ds = L4Re::Unique_cap<L4Re::Dataspace>(L4::cap_reinterpret_cast<L4Re::Dataspace>(c)); in get_ds()266 L4Re::Unique_cap<Dataspace> file; in get_entry()
50 int get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw();77 int get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw();
38 template<typename T> using Unique_cap = L4Re::Util::Unique_cap<T>; variable
Completed in 8 milliseconds