Lines Matching refs:L4
38 namespace L4 {
43 * L4 Runtime Environment.
48 * C++ interface of the initial environment that is provided to an L4 task.
50 * The initial environment is provided to each L4 task that is started
58 * task's capability table and the L4 runtime environment provides
65 * user_factory | L4::Factory | L4Re::Env::user_factory()
67 * main_thread | L4::Thread | L4Re::Env::main_thread()
69 * factory | L4::Factory | L4Re::Env::factory()
70 * task | L4::Task | L4Re::Env::task()
71 * scheduler | L4::Scheduler | L4Re::Env::scheduler()
110 L4::Cap<Parent> parent() const noexcept
111 { return L4::Cap<Parent>(_env.parent); }
116 L4::Cap<Mem_alloc> mem_alloc() const noexcept
117 { return L4::Cap<Mem_alloc>(_env.mem_alloc); }
121 L4::Cap<L4::Factory> user_factory() const noexcept
122 { return L4::Cap<L4::Factory>(_env.mem_alloc); }
127 L4::Cap<Rm> rm() const noexcept
128 { return L4::Cap<Rm>(_env.rm); }
133 L4::Cap<Log> log() const noexcept
134 { return L4::Cap<Log>(_env.log); }
139 L4::Cap<L4::Thread> main_thread() const noexcept
140 { return L4::Cap<L4::Thread>(_env.main_thread); }
145 L4::Cap<L4::Task> task() const noexcept
146 { return L4::Cap<L4::Task>(L4RE_THIS_TASK_CAP); }
151 L4::Cap<L4::Factory> factory() const noexcept
152 { return L4::Cap<L4::Factory>(_env.factory); }
204 L4::Cap<T> get_cap(char const *name, unsigned l) const noexcept
207 return L4::Cap<T>(e->cap);
209 return L4::Cap<T>(-L4_ENOENT);
219 L4::Cap<T> get_cap(char const *name) const noexcept
226 void parent(L4::Cap<Parent> const &c) noexcept
232 void mem_alloc(L4::Cap<Mem_alloc> const &c) noexcept
238 void rm(L4::Cap<Rm> const &c) noexcept
244 void log(L4::Cap<Log> const &c) noexcept
250 void main_thread(L4::Cap<L4::Thread> const &c) noexcept
256 void factory(L4::Cap<L4::Factory> const &c) noexcept
282 L4::Cap<L4::Scheduler> scheduler() const noexcept
283 { return L4::Cap<L4::Scheduler>(_env.scheduler); }
289 void scheduler(L4::Cap<L4::Scheduler> const &c) noexcept