Lines Matching refs:L4
24 typedef L4Re::Util::Region_handler<L4::Cap<L4Re::Dataspace>, Region_ops> Region_handler;
46 typedef L4::Cap<L4Re::Dataspace> Dataspace;
47 typedef L4::Kobject_3t<void, L4Re::Rm, L4::Exception, L4Re::Debug_obj> Interface;
50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds()
52 L4::Cap<L4Re::Dataspace> *ds) in validate_ds()
58 *ds = L4::Cap<L4Re::Dataspace>(ds_cap.base()); in validate_ds()
64 static l4_umword_t find_res(L4::Cap<void> const &ds) { return ds.cap(); } in find_res()
73 int op_exception(L4::Exception::Rights, l4_exc_regs_t ®s,
74 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &fp);
75 long op_io_page_fault(L4::Io_pager::Rights,
77 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &);