Lines Matching refs:L4
44 using L4::Cap;
51 L4::Cap<void> rcv_cap;
54 public L4::Ipc_svr::Ignore_errors,
55 public L4::Ipc_svr::Default_timeout,
56 public L4::Ipc_svr::Compound_reply
61 l4_utcb_br_u(utcb)->br[0] = L4::Ipc::Small_buf(rcv_cap.cap(), in setup_wait()
78 static L4::Server<Loop_hooks> server;
92 auto pager = L4::cap_reinterpret_cast<L4Re::Dataspace>(Env::env()->rm()); in insert_regions()
99 L4::cerr << "l4re: error while initializing region mapper\n"; in insert_regions()
118 L4::cerr << "l4re: error while initializing region mapper\n"; in insert_regions()
138 L4::cout << "ARGC=" << argc << "\n" in run()
143 L4::cout << " arg: '" << argv[i] << "'\n"; in run()
146 L4::cout << " env: '" << *e << "'\n"; in run()
152 L4::cout << "AUX=" << Global::l4re_aux << "\n" in run()
177 L4::Cap<Dataspace> file; in run()
190 server.loop<L4::Runtime_error>(Dispatcher()); in run()
199 catch (L4::Runtime_error const &e) in main()
202 L4::cerr << e; in main()
205 catch (L4::Base_exception const &e) in main()
208 L4::cerr << e; in main()