Lines Matching refs:L4
59 L4::cout << "MOE: is terminating with " << status << ", very bad......\n"; in _exit()
153 for (auto const &md: L4::Kip::Mem_desc::all(kip())) in find_memory()
158 L4::Kip::Mem_desc::Mem_type type = md.type(); in find_memory()
163 case L4::Kip::Mem_desc::Bootloader: in find_memory()
169 case L4::Kip::Mem_desc::Conventional: in find_memory()
170 case L4::Kip::Mem_desc::Reserved: in find_memory()
171 case L4::Kip::Mem_desc::Dedicated: in find_memory()
172 case L4::Kip::Mem_desc::Arch: in find_memory()
173 case L4::Kip::Mem_desc::Shared: in find_memory()
209 for (auto const &m: L4::Kip::Mem_desc::all(kip())) in init_virt_limits()
211 if (m.type() != L4::Kip::Mem_desc::Conventional || !m.is_virtual()) in init_virt_limits()
246 static L4::Cap<void>
249 L4::Cap<void> new_sigma0_cap = object_pool.cap_alloc()->alloc(); in new_sigma0_cap()
252 L4::Cap<L4::Factory>(Sigma0_cap)->create(new_sigma0_cap, L4_PROTO_SIGMA0), in new_sigma0_cap()
259 public L4::Ipc_svr::Ignore_errors,
260 public L4::Ipc_svr::Default_timeout,
261 public L4::Ipc_svr::Compound_reply
264 static void setup_wait(l4_utcb_t *utcb, L4::Ipc_svr::Reply_mode) in setup_wait()
266 l4_utcb_br_u(utcb)->br[0] = L4::Ipc::Small_buf(Rcv_cap << L4_CAP_SHIFT, in setup_wait()
286 L4::cout << L4::hex << "UTCB: " << u->values[0] in dispatch()
324 catch (L4::Runtime_error &e) in dispatch()
483 static L4::Server<Loop_hooks> server;
525 ->run_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP), l4_sched_param(0xff)); in main()
566 if (L4::Cap<void>(L4_BASE_IOMMU_CAP).validate().label()) in main()
568 if (L4::Cap<void>(L4_BASE_ARM_SMCCC_CAP).validate().label()) in main()
573 if (L4::Cap<void>(L4_BASE_DEBUGGER_CAP).validate().label()) in main()
618 server.loop_noexc(My_dispatcher<L4::Basic_registry>()); in main()
620 catch (L4::Out_of_memory const &e) in main()
623 L4::cerr << "FATAL exception in MOE:\n" in main()
626 catch (L4::Runtime_error const &e) in main()
628 L4::cerr << "FATAL exception in MOE:\n" in main()