Lines Matching refs:L4Re
24 typedef L4Re::Util::Region_handler<L4::Cap<L4Re::Dataspace>, Region_ops> Region_handler;
31 L4Re::Util::Region const &r, bool writable,
39 : public L4Re::Util::Region_map<Region_handler, cxx::New_allocator>,
40 public L4Re::Util::Rm_server<Region_map, Dbg>
43 typedef L4Re::Util::Region_map<Region_handler, cxx::New_allocator> Base;
46 typedef L4::Cap<L4Re::Dataspace> Dataspace;
47 typedef L4::Kobject_3t<void, L4Re::Rm, L4::Exception, L4Re::Debug_obj> Interface;
51 L4Re::Rm::Region_flags, in validate_ds()
52 L4::Cap<L4Re::Dataspace> *ds) in validate_ds()
58 *ds = L4::Cap<L4Re::Dataspace>(ds_cap.base()); in validate_ds()
78 long op_debug(L4Re::Debug_obj::Rights, unsigned long function) in op_debug()