Home
last modified time | relevance | path

Searched refs:L4Re (Results 1 – 25 of 193) sorted by relevance

12345678

/l4re-core-master/l4re_vfs/include/impl/
A Dvfs_impl.h55 using L4Re::Rm;
176 L4Re::Shared_cap<L4Re::Dataspace> _anon_ds;
178 int alloc_ds(unsigned long size, L4Re::Shared_cap<L4Re::Dataspace> *ds);
179 int alloc_anon_mem(l4_umword_t size, L4Re::Shared_cap<L4Re::Dataspace> *ds,
396 using namespace L4Re; in munmap() local
435 Vfs::alloc_ds(unsigned long size, L4Re::Shared_cap<L4Re::Dataspace> *ds) in alloc_ds()
437 *ds = L4Re::make_shared_cap<L4Re::Dataspace>(L4Re::virt_cap_alloc); in alloc_ds()
458 Vfs::alloc_anon_mem(l4_umword_t size, L4Re::Shared_cap<L4Re::Dataspace> *ds, in alloc_anon_mem()
543 L4Re::Shared_cap<L4Re::Dataspace> ds; in mmap2()
597 ds = L4Re::Shared_cap<L4Re::Dataspace>(fds, L4Re::virt_cap_alloc); in mmap2()
[all …]
A Dns_fs_impl.h26 namespace L4Re { namespace Core {
29 Ref_ptr<L4Re::Vfs::File>
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()
106 auto tmpcap = L4Re::make_unique_cap<void>(L4Re::virt_cap_alloc); in faccessat()
221 Env_dir::get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw() in get_ds()
229 L4::Cap<L4Re::Namespace> 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()
291 L4::Cap<L4Re::Namespace> in faccessat()
[all …]
A Dns_fs.h26 namespace L4Re { namespace Core {
30 class Env_dir : public L4Re::Vfs::Be_file
33 explicit Env_dir(L4Re::Env const *env) in Env_dir()
44 Ref_ptr<L4Re::Vfs::File> *) throw();
50 int get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw();
53 L4Re::Env const *_env;
57 class Ns_dir : public L4Re::Vfs::Be_file
60 explicit Ns_dir(L4::Cap<L4Re::Namespace> ns) in Ns_dir()
71 Ref_ptr<L4Re::Vfs::File> *) throw();
77 int get_ds(const char *path, L4Re::Unique_cap<L4Re::Dataspace> *ds) throw();
[all …]
A Ddefault_ops_impl.h24 cxx::Static_container<L4Re::Vfs::File_factory_t<L4Re::Dataspace, L4Re::Core::Ro_file> > ro_file;
25 cxx::Static_container<L4Re::Vfs::File_factory_t<L4Re::Namespace, L4Re::Core::Ns_dir> > ns_dir;
26 cxx::Static_container<L4Re::Vfs::File_factory_t<L4::Vcon, L4Re::Core::Vcon_stream> > vcon_stream;
/l4re-core-master/l4re/util/libs/
A Dcap_alloc.cc34 L4Re::Cap_alloc_t<L4Re::Util::Cap_alloc<4096> >
36 __cap_alloc(L4Re::Env::env()->first_free_cap());
46 struct Ca : L4Re::Cap_alloc_t<L4Re::Util::_Cap_alloc>
49 typedef L4Re::Util::_Cap_alloc::Counter_storage<Caps> Storage;
51 L4::Cap<L4Re::Dataspace> _ds;
52 Ca() : _ds(L4::Cap<L4Re::Dataspace>::No_init) in Ca()
54 L4Re::Env const *e = L4Re::Env::env(); in Ca()
55 _ds = L4::Cap<L4Re::Dataspace>(e->first_free_cap() << L4_CAP_SHIFT); in Ca()
59 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW, in Ca()
70 namespace L4Re { namespace
A Dgoos_fb.cc28 namespace L4Re { namespace Util { namespace Video { namespace
33 using namespace L4Re::Video; in init()
34 using L4Re::chksys; in init()
35 using L4Re::chkcap; in init()
51 _buffer = chkcap(cap_alloc.alloc<L4Re::Dataspace>(), in init()
82 Goos_fb::setup(L4::Cap<L4Re::Video::Goos> goos) in setup()
93 _goos = chkcap(ns.query<L4Re::Video::Goos>(name), "requesting goos cap", 0); in setup()
100 Goos_fb::Goos_fb(L4::Cap<L4Re::Video::Goos> goos) in Goos_fb()
113 L4Re::chkcap(_goos); in attach_buffer()
114 L4Re::chksys(L4Re::Env::env()->rm() in attach_buffer()
[all …]
/l4re-core-master/l4re_kernel/server/src/
A Dloader.cc40 using L4Re::Mem_alloc;
41 using L4Re::Dataspace;
42 using L4Re::Rm;
45 using L4Re::Env;
46 using L4Re::chksys;
54 L4::Cap<L4Re::Rm> pager;
87 using L4Re::chkcap; in open_file()
88 L4Re::Util::Env_ns ens(L4Re::Env::env(), L4Re::Cap_alloc::get_cap_alloc(*Global::cap_alloc)); in open_file()
128 L4Re::Rm::F::Search_addr | L4Re::Rm::F::R, in local_attach_ds()
200 L4Re::Env *
[all …]
A Dregion.h24 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()
[all …]
A Dloader.h68 typedef L4::Cap<L4Re::Dataspace> Const_dataspace;
69 typedef L4::Cap<L4Re::Dataspace> Dataspace;
71 L4::Cap<L4Re::Rm> _rm;
73 L4Re_app_model(L4::Cap<L4Re::Rm> rm, void *) : _rm(rm) {} in L4Re_app_model()
81 L4Re::Rm::Flags flags, char const *what);
103 { return L4::Cap<L4Re::Dataspace>::Invalid; } in reserved_area()
107 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in local_kip_ds()
125 L4Re::Env *add_env();
126 void start_prog(L4Re::Env const *env);
135 bool __start(L4::Cap<L4Re::Dataspace> bin, Region_map *rm);
[all …]
/l4re-core-master/moe/server/src/
A Ddataspace.h38 using Flags = L4Re::Dataspace::Flags;
95 | L4Re::Dataspace::F::Caching_mask;
97 f &= ~L4Re::Dataspace::F::W;
130 long op_map(L4Re::Dataspace::Rights rights,
131 L4Re::Dataspace::Offset offset,
132 L4Re::Dataspace::Map_addr spot,
137 L4Re::Dataspace::Size size) in op_allocate()
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 Ddma_space.h37 typedef L4Re::Dma_space::Attributes Attributes;
38 typedef L4Re::Dma_space::Direction Direction;
39 typedef L4Re::Dma_space::Dma_addr Dma_addr;
71 typedef L4Re::Dma_space::Direction Direction;
72 typedef L4Re::Dma_space::Attributes Attributes;
102 typedef L4Re::Dma_space::Dma_addr Dma_addr;
103 typedef L4Re::Dma_space::Direction Direction;
104 typedef L4Re::Dma_space::Attributes Attributes;
107 long op_map(L4Re::Dma_space::Rights rights,
112 long op_unmap(L4Re::Dma_space::Rights rights,
[all …]
/l4re-core-master/ned/server/src/
A Dapp_model.cc15 using L4Re::chksys;
16 using L4Re::chkcap;
21 Dataspace mem = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_ds()
31 L4Re::Util::Env_ns ens; in open_file()
32 return L4Re::chkcap(ens.query<L4Re::Dataspace>(name), name, 0); in open_file()
47 rh_flags |= L4Re::Rm::F::Reserved; in prog_attach_ds()
77 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_attach_ds()
83 L4Re::Rm::F::Search_addr | L4Re::Rm::F::R, in local_attach_ds()
92 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_detach_ds()
114 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap stack in alloc_app_stack()
[all …]
A Dapp_model.h43 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Const_dataspace;
44 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Dataspace;
45 typedef L4Re::Util::Ref_cap<L4Re::Rm>::Cap Rm;
47 typedef L4::Cap<L4Re::Dataspace> Const_dataspace;
48 typedef L4::Cap<L4Re::Dataspace> Dataspace;
49 typedef L4::Cap<L4Re::Rm> Rm;
90 return L4::Cap<L4Re::Dataspace>(l4re_aux->kip_ds); in local_kip_ds()
128 L4::Cap<L4Re::Log> _log;
130 L4::Cap<L4Re::Namespace> _ns;
131 L4::Cap<L4Re::Mem_alloc> _ma;
[all …]
A Dremote_mem.cc16 Stack::set_stack(L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap const &ds, unsigned size) in set_stack()
18 L4Re::chksys(L4Re::Env::env()->rm()->attach(&_vma, size, in set_stack()
19 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW, in set_stack()
/l4re-core-master/l4re_c/lib/src/
A Ddma_space.cc28 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_map()
29 return d->map(L4::Ipc::Cap<L4Re::Dataspace>::from_ci(src), in l4re_dma_space_map()
31 L4Re::Dma_space::Attributes::from_raw(attrs), in l4re_dma_space_map()
32 L4Re::Dma_space::Direction(dir), dma_addr); in l4re_dma_space_map()
41 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_unmap()
43 L4Re::Dma_space::Attributes::from_raw(attrs), in l4re_dma_space_unmap()
44 L4Re::Dma_space::Direction(dir)); in l4re_dma_space_unmap()
51 static_assert(L4RE_DMA_SPACE_COHERENT == 1 << L4Re::Dma_space::Coherent, in l4re_dma_space_associate()
55 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_associate()
57 L4Re::Dma_space::Space_attribs::from_raw(attrs)); in l4re_dma_space_associate()
[all …]
A Drm.cc33 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_reserve_area_srv()
34 return x->reserve_area(start, size, L4Re::Rm::Flags(flags), align); in l4re_rm_reserve_area_srv()
40 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_free_area_srv()
50 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_attach_srv()
51 auto _mem = L4::Ipc::Cap<L4Re::Dataspace>::from_ci(mem); in l4re_rm_attach_srv()
60 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_detach_srv()
62 L4::Cap<L4Re::Dataspace> d(L4_INVALID_CAP); in l4re_rm_detach_srv()
76 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_find_srv()
77 L4::Cap<L4Re::Dataspace> mm(L4_INVALID_CAP); in l4re_rm_find_srv()
78 L4Re::Rm::Flags f; in l4re_rm_find_srv()
[all …]
A Ddataspace.cc36 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 …]
A Devent.cc27 L4::Cap<L4Re::Event> x(server); in l4re_event_get_buffer()
28 L4::Cap<L4Re::Dataspace> _ds(ds); in l4re_event_get_buffer()
35 L4::Cap<L4Re::Event> x(server); in l4re_event_get_num_streams()
44 L4::Cap<L4Re::Event> x(server); in l4re_event_get_stream_info()
45 return x->get_stream_info(idx, static_cast<L4Re::Event_stream_info*>(info)); in l4re_event_get_stream_info()
52 L4::Cap<L4Re::Event> x(server); in l4re_event_get_stream_info_for_id()
53 return x->get_stream_info_for_id(id, static_cast<L4Re::Event_stream_info*>(info)); in l4re_event_get_stream_info_for_id()
61 L4::Cap<L4Re::Event> x(server); in l4re_event_get_axis_info()
A Devent_buffer.cc22 using L4Re::Util::Event_buffer_consumer;
36 L4::Cap<L4Re::Dataspace> d(ds); in l4re_event_buffer_attach()
37 L4::Cap<L4Re::Rm> r(rm); in l4re_event_buffer_attach()
46 L4::Cap<L4Re::Rm> r(rm); in l4re_event_buffer_detach()
53 L4Re::Event_buffer::Event *ev = (L4Re::Event_buffer::Event *)e; in l4re_event_free()
69 typedef void Cb(L4Re::Event_buffer::Event*, void *); in l4re_event_buffer_consumer_foreach_available_event()
82 void (*_cb)(L4Re::Event_buffer::Event*, void *) in l4re_event_buffer_consumer_process()
83 = (void (*)(L4Re::Event_buffer::Event*, void *))cb; in l4re_event_buffer_consumer_process()
/l4re-core-master/l4re/util/include/
A Devent34 namespace L4Re { namespace Util {
70 int init(L4::Cap<L4Re::Event> event,
71 L4Re::Env const *env = L4Re::Env::env(),
72 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
74 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());
100 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW,
124 L4Re::Env const *env = L4Re::Env::env(),
125 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
127 Unique_cap<L4Re::Dataspace> ev_ds(ca->alloc<L4Re::Dataspace>());
143 L4Re::Rm::F::Search_addr | L4Re::Rm::F::RW,
[all …]
A Devent_svr31 namespace L4Re { namespace Util {
36 * \see L4Re::Event, L4Re::Util::Event_t
45 L4::Cap<L4Re::Dataspace> _ds;
51 L4_RPC_LEGACY_DISPATCH(L4Re::Event);
54 /// Handle L4Re::Event protocol
55 long op_get_buffer(L4Re::Event::Rights, L4::Ipc::Cap<L4Re::Dataspace> &ds)
58 ds = L4::Ipc::Cap<L4Re::Dataspace>(_ds, L4_CAP_FPAGE_RW);
62 long op_get_num_streams(L4Re::Event::Rights)
72 long op_get_axis_info(L4Re::Event::Rights, l4_umword_t id,
97 int get_stream_info(int, L4Re::Event_stream_info *)
[all …]
A Dregion_mapping_svr_229 namespace L4Re { namespace Util {
41 * Implementation of L4Re::Rm::_attach
77 * Implementation of L4Re::Rm::free_area
88 * Implementation of L4Re::Rm::_find
91 L4Re::Rm::Flags &flags, L4Re::Rm::Offset &offset,
92 L4::Cap<L4Re::Dataspace> &m)
118 * Implementation of L4Re::Rm::_detach
120 long op_detach(L4Re::Rm::Rights, l4_addr_t addr,
141 * Implementation of L4Re::Rm::_reserve_area
153 * Implementation of L4Re::Rm::get_regions
[all …]
/l4re-core-master/libloader/include/
A Dremote_app_model70 L4Re::Env *add_env()
81 L4Re::Env *env = this->_stack.push(L4Re::Env());
120 L4Re::Rm::F::RX,
127 app_stack, 0, L4Re::Rm::F::RW,
131 void start_prog(L4Re::Env const *env)
133 using L4Re::chksys;
145 chksys(ntask->map(L4Re::This_task, ntask.fpage(),
146 Cap<L4::Task>(L4Re::This_task).snd_base()));
149 chksys(ntask->map(L4Re::This_task, nthread.fpage(),
155 chksys(ntask->map(L4Re::This_task, this->_info.log,
[all …]
/l4re-core-master/l4re/include/impl/
A Drm_impl.h31 L4_RPC_DEF(L4Re::Rm::reserve_area);
32 L4_RPC_DEF(L4Re::Rm::free_area);
33 L4_RPC_DEF(L4Re::Rm::attach);
34 L4_RPC_DEF(L4Re::Rm::detach);
35 L4_RPC_DEF(L4Re::Rm::get_regions);
36 L4_RPC_DEF(L4Re::Rm::get_areas);
37 L4_RPC_DEF(L4Re::Rm::find);
39 namespace L4Re
48 mem = L4::Ipc::Cap<L4Re::Dataspace>(); in attach()
71 *mem = L4::Cap<L4Re::Dataspace>(mem_cap); in detach()
/l4re-core-master/l4re/lib/src/
A Devent.cc22 L4_RPC_DEF(L4Re::Event::get_buffer);
23 L4_RPC_DEF(L4Re::Event::get_num_streams);
24 L4_RPC_DEF(L4Re::Event::get_stream_info);
25 L4_RPC_DEF(L4Re::Event::get_stream_info_for_id);
26 L4_RPC_DEF(L4Re::Event::get_axis_info);
27 L4_RPC_DEF(L4Re::Event::get_stream_state_for_id);

Completed in 49 milliseconds

12345678