Lines Matching refs:L4Re
34 namespace L4Re { namespace Util {
62 * \param env Pointer to L4Re-Environment
70 int init(L4::Cap<L4Re::Event> event,
71 L4Re::Env const *env = L4Re::Env::env(),
72 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
74 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());
100 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW,
104 _ev_buffer = L4Re::Event_buffer_t<PAYLOAD>(buf.get(), sz);
116 * \param env Pointer to L4Re-Environment
123 int init_poll(L4::Cap<L4Re::Event> event,
124 L4Re::Env const *env = L4Re::Env::env(),
125 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
127 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());
143 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW,
147 _ev_buffer = L4Re::Event_buffer_t<PAYLOAD>(buf.get(), sz);
159 L4Re::Event_buffer_t<PAYLOAD> &buffer() { return _ev_buffer; }
169 Unique_cap<L4Re::Dataspace> _ev_ds;
171 L4Re::Event_buffer_t<PAYLOAD> _ev_buffer;