/l4re-core-master/l4re/include/impl/ |
A D | dataspace_impl.h | 27 L4_RPC_DEF(L4Re::Dataspace::clear); 28 L4_RPC_DEF(L4Re::Dataspace::allocate); 29 L4_RPC_DEF(L4Re::Dataspace::copy_in); 30 L4_RPC_DEF(L4Re::Dataspace::info); 36 Dataspace::__map(Dataspace::Offset offset, unsigned char *size, in __map() 55 Dataspace::map_region(Dataspace::Offset offset, Dataspace::Flags flags, in map_region() 94 Dataspace::map(Dataspace::Offset offset, Dataspace::Flags flags, in map() 108 Dataspace::Size 109 Dataspace::size() const noexcept in size() 118 Dataspace::Flags [all …]
|
A D | rm_impl.h | 44 L4::Ipc::Cap<Dataspace> mem, Rm::Offset offs, in attach() 48 mem = L4::Ipc::Cap<L4Re::Dataspace>(); in attach() 61 Rm::detach(l4_addr_t start, unsigned long size, L4::Cap<Dataspace> *mem, in detach() 71 *mem = L4::Cap<L4Re::Dataspace>(mem_cap); in detach()
|
/l4re-core-master/moe/server/src/ |
A D | dataspace.h | 33 class Dataspace : 34 public L4::Epiface_t<Dataspace, L4Re::Dataspace, Server_object>, 38 using Flags = L4Re::Dataspace::Flags; 73 Dataspace(unsigned long size, Flags flags, in Dataspace() function 97 f &= ~L4Re::Dataspace::F::W; 102 virtual ~Dataspace() {} in ~Dataspace() 130 long op_map(L4Re::Dataspace::Rights rights, 144 L4Re::Dataspace::Size sz); 146 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s) in op_info() 152 s.flags &= ~L4Re::Dataspace::F::W; in op_info() [all …]
|
A D | dataspace.cc | 31 using L4Re::Dataspace; in map() 66 Moe::Dataspace::op_map(L4Re::Dataspace::Rights rights, in op_map() 67 L4Re::Dataspace::Offset offset, in op_map() 68 L4Re::Dataspace::Map_addr spot, in op_map() 69 L4Re::Dataspace::Flags flags, in op_map() 96 Moe::Dataspace::op_copy_in(L4Re::Dataspace::Rights obj, in op_copy_in() 97 L4Re::Dataspace::Offset dst_offs, in op_copy_in() 99 L4Re::Dataspace::Offset src_offs, in op_copy_in() 100 L4Re::Dataspace::Size sz) in op_copy_in() 102 Moe::Dataspace *src = 0; in op_copy_in() [all …]
|
A D | loader.h | 29 typedef Moe::Dataspace const *Const_dataspace; 30 typedef Moe::Dataspace *Dataspace; typedef 39 Dataspace alloc_ds(unsigned long size) const; 50 static void copy_ds(Dataspace dst, unsigned long dst_offs, 64 Dataspace alloc_app_stack(); 71 static Dataspace local_kip_ds() in local_kip_ds() 95 virtual bool check_file_type(Moe::Dataspace const *file) const = 0;
|
A D | dataspace_util.cc | 19 using Moe::Dataspace; 28 __do_real_copy(Dataspace *dst, unsigned long &dst_offs, in __do_real_copy() 29 Dataspace const *src, unsigned long &src_offs, unsigned long sz) in __do_real_copy() 35 if ( src->copy_address(src_offs, L4Re::Dataspace::F::R, in __do_real_copy() 37 || dst->copy_address(dst_offs, L4Re::Dataspace::F::W, in __do_real_copy() 61 Dataspace const *src, unsigned long &src_offs, unsigned long sz) in __do_cow_copy() 65 Dataspace::Address src_a = src->address(src_offs, L4Re::Dataspace::F::R); in __do_cow_copy() 112 __do_eager_copy(Dataspace *dst, unsigned long dst_offs, in __do_eager_copy() 113 Dataspace const *src, unsigned long src_offs, unsigned long size) in __do_eager_copy() 129 Dataspace const *src, unsigned long src_offs, unsigned long &size) in __do_lazy_copy() [all …]
|
A D | region.h | 25 typedef L4Re::Util::Region_handler<cxx::Weak_ref<Moe::Dataspace const>, 48 typedef cxx::Weak_ref<Moe::Dataspace const> Dataspace; typedef 51 L4Re::Rm::Region_flags flags, Dataspace *ds); 52 static l4_umword_t find_res(Dataspace const &) { return 0; } in find_res()
|
A D | dataspace_noncont.h | 22 class Dataspace_noncont : public Dataspace 58 Flags flags = L4Re::Dataspace::F::RWX) throw() in throw() 59 : Dataspace(size, flags | Flags(Cow_enabled), L4_LOG2_PAGESIZE), _pages(0) in throw() 65 Flags flags = L4Re::Dataspace::F::RWX, l4_addr_t hot_spot = 0, 99 Flags flags = L4Re::Dataspace::F::RWX);
|
A D | boot_fs.cc | 144 ds = new Moe::Dataspace_static((void *)_buf, _size, L4Re::Dataspace::F::R); in create_ds_and_register() 202 Dataspace::Flags flags = Dataspace::Flags(Dataspace::Cow_enabled) | L4Re::Dataspace::F::RX; in init_stage2() 204 flags = L4Re::Dataspace::F::RWX; in init_stage2() 234 Moe::Dataspace * 240 return dynamic_cast<Moe::Dataspace *>(n->obj()); in open_file()
|
A D | loader.cc | 58 Moe::Dataspace * 61 cxx::unique_ptr<Moe::Dataspace> stack(a->alloc(size)); in __alloc_app_stack() 78 Moe_app_model::Dataspace 81 Dataspace mem =_task->allocator()->alloc(size); in alloc_ds() 109 Moe::Dataspace const *f = Boot_fs::open_file(name); in open_file() 141 Moe_app_model::copy_ds(Dataspace dst, unsigned long dst_offs, in copy_ds() 190 Moe_app_model::Dataspace
|
A D | vesa_fb.cc | 30 using L4Re::Dataspace; 90 … L4Re::Dataspace::F::RW | L4Re::Dataspace::F::Bufferable); in Vesa_fb() 102 _fb_ds = L4::cap_cast<L4Re::Dataspace>(object_pool.cap_alloc()->alloc(fb)); in Vesa_fb()
|
/l4re-core-master/l4re/util/include/ |
A D | dataspace_svr | 35 * Dataspace server class. 62 * \param flags Dataspace flags, see #L4Re::Dataspace::F::Flags. 70 int map(Dataspace::Offset offset, 72 Dataspace::Flags flags, 214 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s) 218 s.flags = Dataspace::Flags(0); 220 s.flags |= Dataspace::F::W; 247 L4Re::Dataspace::Flags 250 auto f = (_rw_flags & L4Re::Dataspace::Flags(0x0f)) | L4Re::Dataspace::F::Caching_mask; 252 f &= ~L4Re::Dataspace::F::W; [all …]
|
/l4re-core-master/l4re_c/lib/src/ |
A D | dataspace.cc | 36 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map() 46 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map_region() 47 return x->map_region(offset, L4Re::Dataspace::Flags(flags), min_addr, max_addr); in l4re_ds_map_region() 53 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_clear() 61 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_allocate() 70 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_copy_in() 71 auto srcds = L4::Ipc::Cap<L4Re::Dataspace>::from_ci(src); in l4re_ds_copy_in() 78 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_size() 85 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_info() 86 return x->info((L4Re::Dataspace::Stats *)stats); in l4re_ds_info() [all …]
|
/l4re-core-master/l4re_kernel/server/src/ |
A D | loader.h | 68 typedef L4::Cap<L4Re::Dataspace> Const_dataspace; 69 typedef L4::Cap<L4Re::Dataspace> Dataspace; typedef 75 Dataspace alloc_ds(unsigned long size) const; 83 static void copy_ds(Dataspace dst, unsigned long dst_offs, 97 Dataspace alloc_app_stack(); 103 { return L4::Cap<L4Re::Dataspace>::Invalid; } in reserved_area() 105 static Dataspace local_kip_ds() in local_kip_ds() 107 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in local_kip_ds() 115 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in prog_kip_ds() 135 bool __start(L4::Cap<L4Re::Dataspace> bin, Region_map *rm); [all …]
|
A D | loader.cc | 41 using L4Re::Dataspace; 58 static Cap<Dataspace> __binary; 59 static Cap<Dataspace> __loader_stack; 75 L4Re_app_model::Dataspace 78 Dataspace mem = chkcap(Global::cap_alloc->alloc<L4Re::Dataspace>(), in alloc_ds() 90 L4::Cap<L4Re::Dataspace> file; in open_file() 92 file = chkcap(ens.query<L4Re::Dataspace>(name), name, 0); in open_file() 148 L4Re_app_model::Dataspace 152 L4::Cap<L4Re::Dataspace> stack in alloc_app_stack() 153 = chkcap(Global::cap_alloc->alloc<L4Re::Dataspace>(), in alloc_app_stack() [all …]
|
A D | region.h | 24 typedef L4Re::Util::Region_handler<L4::Cap<L4Re::Dataspace>, Region_ops> Region_handler; 46 typedef L4::Cap<L4Re::Dataspace> Dataspace; typedef 52 L4::Cap<L4Re::Dataspace> *ds) in validate_ds() 58 *ds = L4::Cap<L4Re::Dataspace>(ds_cap.base()); in validate_ds()
|
A D | region.cc | 28 using L4Re::Dataspace; 93 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in map() 94 L4Re::Dataspace::Flags flags = map_flags(r_flags); in map() 108 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in free()
|
A D | mem.cc | 40 using L4Re::Dataspace; in uclibc_morecore() 53 L4::Cap<L4Re::Dataspace> heap; in uclibc_morecore() 54 heap = Global::cap_alloc->alloc<L4Re::Dataspace>(); in uclibc_morecore()
|
/l4re-core-master/ned/server/src/ |
A D | app_model.h | 43 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Const_dataspace; 44 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Dataspace; typedef 47 typedef L4::Cap<L4Re::Dataspace> Const_dataspace; 48 typedef L4::Cap<L4Re::Dataspace> Dataspace; 55 Dataspace alloc_ds(unsigned long size) const; 66 static void copy_ds(Dataspace dst, unsigned long dst_offs, 80 Dataspace alloc_app_stack(); 87 static Dataspace local_kip_ds() in local_kip_ds() 90 return L4::Cap<L4Re::Dataspace>(l4re_aux->kip_ds); in local_kip_ds()
|
A D | app_model.cc | 18 App_model::Dataspace 21 Dataspace mem = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_ds() 32 return L4Re::chkcap(ens.query<L4Re::Dataspace>(name), name, 0); in open_file() 64 App_model::copy_ds(Dataspace dst, unsigned long dst_offs, in copy_ds() 111 App_model::Dataspace 114 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap stack in alloc_app_stack() 115 = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_app_stack()
|
/l4re-core-master/l4re/util/libs/ |
A D | dataspace_svr.cc | 34 L4Re::Dataspace::Stats const &st) 41 Dataspace_svr::map(Dataspace::Offset offs, in map() 42 Dataspace::Map_addr hot_spot, in map() 43 Dataspace::Flags flags, in map() 44 Dataspace::Map_addr min, in map() 45 Dataspace::Map_addr max, in map()
|
A D | cap_alloc.cc | 51 L4::Cap<L4Re::Dataspace> _ds; 52 Ca() : _ds(L4::Cap<L4Re::Dataspace>::No_init) in Ca() 55 _ds = L4::Cap<L4Re::Dataspace>(e->first_free_cap() << L4_CAP_SHIFT); in Ca()
|
/l4re-core-master/l4re_vfs/include/impl/ |
A D | ns_fs_impl.h | 60 Ns_dir::get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw() in get_ds() 62 auto file = L4Re::make_unique_cap<L4Re::Dataspace>(L4Re::virt_cap_alloc); in get_ds() 87 L4Re::Unique_cap<Dataspace> file; in get_entry() 147 L4Re::Unique_cap<Dataspace> dirinfofile; in getdents() 221 Env_dir::get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw() in get_ds() 237 *ds = L4Re::Unique_cap<L4Re::Dataspace>(L4::cap_reinterpret_cast<L4Re::Dataspace>(c)); in get_ds() 241 auto file = L4Re::make_unique_cap<L4Re::Dataspace>(L4Re::virt_cap_alloc); in get_ds() 266 L4Re::Unique_cap<Dataspace> file; in get_entry() 371 else if (check_type(_current_cap_entry, L4Re::Dataspace::Protocol)) in getdents()
|
A D | ro_file.h | 28 L4::Cap<L4Re::Dataspace> _ds; 33 explicit Ro_file(L4::Cap<L4Re::Dataspace> ds) throw() in Ro_file() 39 L4::Cap<L4Re::Dataspace> data_space() const throw() { return _ds; } in data_space()
|
/l4re-core-master/l4re/include/ |
A D | rm | 69 * \see L4Re::Dataspace, L4Re::Rm, 85 typedef L4Re::Dataspace::Offset Offset; 127 R = Dataspace::F::R, 128 W = Dataspace::F::W, 129 X = Dataspace::F::X, 130 RW = Dataspace::F::RW, 131 RX = Dataspace::F::RX, 132 RWX = Dataspace::F::RWX, 145 Cache_normal = Dataspace::F::Normal, 147 Cache_buffered = Dataspace::F::Bufferable, [all …]
|