Home
last modified time | relevance | path

Searched refs:Snd_fpage (Results 1 – 25 of 32) sorted by relevance

12

/l4re-core-master/moe/server/src/
A Dregion.cc41 L4::Ipc::Snd_fpage *result) in map()
46 using L4::Ipc::Snd_fpage; in map()
53 static Snd_fpage::Cacheopt const cache_map[] = in map()
54 { Snd_fpage::None, Snd_fpage::Buffered, Snd_fpage::Uncached, in map()
55 Snd_fpage::None }; in map()
62 *result = Snd_fpage(ds_fpage.fp(), offs + r.start(), Snd_fpage::Map, in map()
78 Region_map::validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds()
103 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_io_page_fault() argument
A Ddataspace.cc29 l4_addr_t min, l4_addr_t max, L4::Ipc::Snd_fpage &memory) in map()
32 using L4::Ipc::Snd_fpage; in map()
34 memory = L4::Ipc::Snd_fpage(); in map()
55 static Snd_fpage::Cacheopt cache_map[] = in map()
56 { Snd_fpage::None, Snd_fpage::Buffered, Snd_fpage::Uncached, in map()
57 Snd_fpage::None }; in map()
59 memory = Snd_fpage(adr.fp(), hot_spot, Snd_fpage::Map, in map()
70 L4::Ipc::Snd_fpage &fp) in op_map()
98 L4::Ipc::Snd_fpage const &src_cap, in op_copy_in()
A Dregion.h31 typedef L4::Ipc::Snd_fpage Map_result;
34 L4::Ipc::Snd_fpage *result);
50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap,
59 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &);
A Dlog.h44 L4::Ipc::Snd_fpage) in op_bind() argument
48 L4::Ipc::Snd_fpage) in op_unbind() argument
A Ddataspace.h123 l4_addr_t min, l4_addr_t max, L4::Ipc::Snd_fpage &memory);
133 L4Re::Dataspace::Flags flags, L4::Ipc::Snd_fpage &fp);
142 L4::Ipc::Snd_fpage const &src_cap,
A Ddma_space.cc226 L4::Ipc::Snd_fpage fpage; in map()
264 static Dataspace *_get_ds(L4::Ipc::Snd_fpage src_cap) in _get_ds()
283 L4::Ipc::Snd_fpage src_ds, l4_addr_t offset, in op_map()
309 L4::Ipc::Snd_fpage dma_task, in op_associate()
A Ddma_space.h108 L4::Ipc::Snd_fpage src_ds, l4_addr_t offset,
117 L4::Ipc::Snd_fpage dma_task,
A Dname_space.cc166 Name_buffer const &name, L4::Ipc::Snd_fpage &cap) in op_register_obj()
231 L4::Ipc::Snd_fpage &snd_cap, in op_query()
281 snd_cap = L4::Ipc::Snd_fpage(n->cap(), flags); in op_query()
A Dname_space.h176 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode> &,
180 Name_buffer const &name, L4::Ipc::Snd_fpage &cap);
A Dsched_proxy.h48 L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp);
/l4re-core-master/l4re/util/include/
A Dicu_svr43 L4::Ipc::Snd_fpage irq_fp);
45 L4::Ipc::Snd_fpage irq_fp);
58 L4::Ipc::Snd_fpage irq_fp)
70 L4::Ipc::Snd_fpage irq_fp)
146 int bind(ICU *, L4::Ipc::Snd_fpage const &irq_fp);
147 int unbind(ICU *, L4::Ipc::Snd_fpage const &irq_fp);
188 Icu_cap_array_svr<ICU>::Irq::bind(ICU *cfb, L4::Ipc::Snd_fpage const &irq_fp)
208 Icu_cap_array_svr<ICU>::Irq::unbind(ICU *, L4::Ipc::Snd_fpage const &/*irq_fp*/)
A Ddataspace_svr43 typedef L4::Ipc::Gen_fpage<L4::Ipc::Snd_item> Snd_fpage;
47 typedef Snd_fpage::Map_type Map_type;
48 typedef Snd_fpage::Cacheopt Cache_type;
51 : _ds_start(0), _ds_size(0), _map_flags(Snd_fpage::Map),
52 _cache_flags(Snd_fpage::Cached)
75 L4::Ipc::Snd_fpage &memory);
181 L4::Ipc::Snd_fpage &fp)
198 L4::Ipc::Snd_fpage const &src_cap,
A Dregion_mapping_svr_245 L4::Ipc::Snd_fpage ds_cap, L4Re::Rm::Offset offs,
202 static void pager_set_result(L4::Ipc::Opt<L4::Ipc::Snd_fpage> *fp,
203 L4::Ipc::Snd_fpage const &f)
206 static void pager_set_result(L4::Ipc::Opt<L4::Ipc::Snd_fpage> *, ...)
214 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &)
221 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &fp)
/l4re-core-master/l4re/util/libs/
A Ddataspace_svr.cc46 L4::Ipc::Snd_fpage &memory) in map()
52 memory = L4::Ipc::Snd_fpage(); in map()
99 memory = L4::Ipc::Snd_fpage(fpage, hot_spot, _map_flags, _cache_flags); in map()
A Dname_space_svr.cc90 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode> &dummy, in op_query()
145 snd_cap = L4::Ipc::Snd_fpage(n->obj()->cap(), flags); in op_query()
204 L4::Ipc::Snd_fpage &cap) in op_register_obj()
/l4re-core-master/l4re_kernel/server/src/
A Dregion.h50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds()
74 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &fp);
77 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &);
A Dregion.cc80 L4::Ipc::Snd_fpage rfp; in map()
131 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception() argument
144 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_io_page_fault() argument
/l4re-core-master/libkproxy/include/
A Dscheduler_svr72 long op_run_thread(L4::Scheduler::Rights, L4::Ipc::Snd_fpage thread,
98 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
/l4re-core-master/l4sys/include/cxx/
A Dipc_types477 typedef Gen_fpage<Snd_item> Snd_fpage;
501 // Snd_fpage are out items
502 template<> struct Class<L4::Ipc::Snd_fpage> : Cls_item {};
609 L4::Ipc::Snd_fpage fpage() const noexcept
610 { return L4::Ipc::Snd_fpage(cap(), rights()); }
692 typedef L4::Ipc::Snd_fpage svr_type;
693 typedef L4::Ipc::Snd_fpage svr_arg_type;
699 Svr_val_ops<L4::Ipc::Snd_fpage, Dir_in, CLASS>
758 return msg_add(msg, offset, limit, L4::Ipc::Snd_fpage(arg.cap(), 0));
/l4re-core-master/l4re/include/impl/
A Dnamespace_impl.h49 L4::Ipc::Snd_fpage cap; in _query()
A Ddataspace_impl.h45 L4::Ipc::Snd_fpage fp; in __map()
/l4re-core-master/libc_backends/lib/sig/lib/
A Dsig.cc60 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &);
197 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception() argument
/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc76 L4::Ipc::Snd_fpage f; in handle_gate()
/l4re-core-master/l4sys/include/
A Dpager83 L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
137 L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
A Dexception60 L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));

Completed in 18 milliseconds

12