Home
last modified time | relevance | path

Searched refs:l4_fpage_t (Results 1 – 25 of 34) sorted by relevance

12

/l4re-core-master/l4sys/include/
A D__l4_fpage.h86 } l4_fpage_t; typedef
305 L4_INLINE l4_fpage_t
314 L4_INLINE l4_fpage_t
323 L4_INLINE l4_fpage_t
337 L4_INLINE l4_fpage_t
353 L4_INLINE l4_fpage_t
524 L4_INLINE l4_fpage_t
609 L4_INLINE l4_fpage_t
613 L4_INLINE l4_fpage_t
617 l4_fpage_t t; in __l4_fpage_generic()
[all …]
A Dtask.h66 l4_fpage_t snd_fpage, l4_umword_t snd_base) L4_NOTHROW;
98 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage,
105 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage,
128 l4_task_unmap_batch(l4_cap_idx_t task, l4_fpage_t const *fpages,
135 l4_task_unmap_batch_u(l4_cap_idx_t task, l4_fpage_t const *fpages,
238 l4_task_add_ku_mem_u(l4_cap_idx_t task, l4_fpage_t ku_mem,
295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u()
306 l4_task_unmap_batch_u(l4_cap_idx_t task, l4_fpage_t const *fpages, in l4_task_unmap_batch_u()
338 l4_task_add_ku_mem_u(l4_cap_idx_t task, l4_fpage_t ku_mem, in l4_task_add_ku_mem_u()
357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap()
[all …]
A D__task-arm.h25 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage,
39 l4_task_vgicc_map(l4_cap_idx_t task, l4_fpage_t vgicc_fpage) L4_NOTHROW;
46 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage, in l4_task_vgicc_map_u()
56 l4_task_vgicc_map(l4_cap_idx_t task, l4_fpage_t vgicc_fpage) L4_NOTHROW in l4_task_vgicc_map()
A Dfactory.h88 l4_cap_idx_t target_cap, l4_fpage_t utcb_area) L4_NOTHROW;
98 l4_fpage_t utcb_area, l4_utcb_t *utcb) L4_NOTHROW;
249 l4_factory_create_add_fpage_u(l4_fpage_t d, l4_msgtag_t *tag,
290 l4_cap_idx_t target_cap, l4_fpage_t utcb_area, in l4_factory_create_task_u()
360 l4_cap_idx_t target_cap, l4_fpage_t utcb_area) L4_NOTHROW in l4_factory_create_task()
415 l4_factory_create_add_fpage_u(l4_fpage_t d, l4_msgtag_t *tag, in l4_factory_create_add_fpage_u()
422 v->mr[w] = L4_VARG_TYPE_FPAGE | (sizeof(l4_fpage_t) << 16); in l4_factory_create_add_fpage_u()
A Dipc.h443 l4_sndfpage_add(l4_fpage_t const snd_fpage, unsigned long snd_base,
451 l4_sndfpage_add_u(l4_fpage_t const snd_fpage, unsigned long snd_base,
556 l4_sndfpage_add_u(l4_fpage_t const snd_fpage, unsigned long snd_base, in l4_sndfpage_add_u()
574 l4_sndfpage_add(l4_fpage_t const snd_fpage, unsigned long snd_base, in l4_sndfpage_add()
A D__vm-arm.h40 l4_msgtag_t vgicc_map(l4_fpage_t const vgicc_fpage,
A Dtask73 l4_fpage_t const &snd_fpage, l4_umword_t snd_base,
99 l4_msgtag_t unmap(l4_fpage_t const &fpage,
118 l4_msgtag_t unmap_batch(l4_fpage_t const *fpages,
212 l4_msgtag_t add_ku_mem(l4_fpage_t const &fpage,
/l4re-core-master/sigma0/server/src/
A Dioports_x86.cc37 l4_fpage_t fp = (l4_fpage_t&)l4_utcb_mr_u(utcb)->mr[0]; in handle_io_page_fault()
A Dmemmap.cc92 void map_mem(l4_fpage_t fp, Memory_type fn, l4_umword_t t, Answer *an) in map_mem()
221 map_mem((l4_fpage_t&)l4_utcb_mr_u(utcb)->mr[1], Ram, t, answer); in handle_sigma0_request()
224 map_mem((l4_fpage_t&)l4_utcb_mr_u(utcb)->mr[1], Io_mem, t, answer); in handle_sigma0_request()
227 map_mem((l4_fpage_t&)l4_utcb_mr_u(utcb)->mr[1], Io_mem_cached, t, answer); in handle_sigma0_request()
233 map_free_page(l4_fpage_size(*(l4_fpage_t*)(&l4_utcb_mr_u(utcb)->mr[1])), in handle_sigma0_request()
A Dmemmap_internal.h36 void snd_fpage(l4_fpage_t const &fp, unsigned long snd_base = 0)
/l4re-core-master/libloader/include/
A Dloader40 l4_fpage_t parent;
41 l4_fpage_t mem_alloc;
42 l4_fpage_t scheduler;
43 l4_fpage_t rm;
44 l4_fpage_t log;
45 l4_fpage_t factory;
/l4re-core-master/l4util/include/ARCH-x86/L4API-l4f/
A Dport_io.h59 l4_fpage_t iofp; in l4util_ioport_map()
/l4re-core-master/moe/server/src/
A Ddataspace.h43 l4_fpage_t fpage;
57 l4_fpage_t fp() const throw() { return fpage; } in fp()
A Dregion.h58 l4_fpage_t io_pfa, l4_umword_t pc,
A Ddma_space.cc151 l4_fpage_t fp = l4_fpage(a, o, L4_FPAGE_RWX); in remove()
232 l4_fpage_t f; in map()
A Dregion.cc102 l4_fpage_t io_pfa, l4_umword_t pc, in op_io_page_fault()
/l4re-core-master/l4re/util/libs/
A Ddataspace_svr.cc97 l4_fpage_t fpage = l4_fpage(map_base, order, flags.fpage_rights()); in map()
/l4re-core-master/l4re_kernel/server/src/
A Dregion.h76 l4_fpage_t io_pfa, l4_umword_t pc,
A Dregion.cc143 l4_fpage_t io_pfa, l4_umword_t pc, in op_io_page_fault()
/l4re-core-master/l4re/include/
A Denv.h119 l4_fpage_t utcb_area; /**< UTCB area of the task */
/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc49 l4_fpage_t utcb_area; in handle_task()
/l4re-core-master/ned/server/src/
A Dlua_cap.h58 l4_fpage_t fpage() const in fpage()
/l4re-core-master/l4sys/doc/
A Dfactory.dox57 - L4::Task(\ref l4_fpage_t)
/l4re-core-master/libkproxy/include/
A Dfactory_svr42 l4_fpage_t const &utcb_area) = 0;
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h72 l4_fpage_t fpage(unsigned rights = L4_CAP_FPAGE_RWS) const noexcept

Completed in 20 milliseconds

12