Home
last modified time | relevance | path

Searched refs:fpage (Results 1 – 25 of 26) sorted by relevance

12

/l4re-core-master/ned/server/src/
A Dapp_model.cc134 _info.mem_alloc = _ma.fpage(); in init_prog()
135 _info.names = _ns.fpage(); in init_prog()
136 _info.log = _log.fpage(); in init_prog()
137 _info.factory = _factory.fpage(); in init_prog()
138 _info.scheduler = _sched.fpage(); in init_prog()
153 _info.scheduler = _task->_sched.obj_cap().fpage(); in init_prog()
165 prog_info()->rm = _task->rm().fpage(); in get_task_caps()
166 prog_info()->parent = _task->obj_cap().fpage(); in get_task_caps()
A Dlua_exec.cc145 *r = c ? c->fpage() : l4_fpage_invalid(); in _cfg_cap()
225 c->cap<void>().fpage(c->rights()), in map_initial_caps()
255 prog_info()->mem_alloc = user_factory.fpage(); in parse_cfg()
256 prog_info()->log = L4Re::Env::env()->log().fpage(); in parse_cfg()
257 prog_info()->factory = L4Re::Env::env()->factory().fpage(); in parse_cfg()
258 prog_info()->scheduler = L4Re::Env::env()->scheduler().fpage(); in parse_cfg()
A Dlua_cap.h58 l4_fpage_t fpage() const in fpage() function
59 { return _c.fpage(_rights & L4_CAP_FPAGE_RWSD); } in fpage()
/l4re-core-master/moe/server/src/
A Ddataspace.h43 l4_fpage_t fpage; member
46 Address(long error) throw() : offs(-1UL) { fpage.raw = error; } in throw()
51 : fpage(l4_fpage(base, size, flags.fpage_rights())), in throw()
54 unsigned long bs() const throw() { return fpage.raw & L4_FPAGE_ADDR_MASK; } in bs()
55 unsigned long sz() const throw() { return 1 << l4_fpage_size(fpage); } in sz()
57 l4_fpage_t fp() const throw() { return fpage; } in fp()
69 long error() const throw() { return fpage.raw; } in error()
A Dloader.cc101 chksys(t->map(L4Re::This_task, i.cap().fpage(L4_CAP_FPAGE_RWS), in map_initial_caps()
210 _info.mem_alloc = allocator->obj_cap().fpage(); in init_prog()
211 _info.log = L4Re::Env::env()->log().fpage(); in init_prog()
212 _info.factory = L4Re::Env::env()->factory().fpage(); in init_prog()
213 _info.scheduler = L4Re::Env::env()->scheduler().fpage(); in init_prog()
230 prog_info()->rm = _task->rm()->obj_cap().fpage(); in get_task_caps()
231 prog_info()->parent = _task->obj_cap().fpage(); in get_task_caps()
A Ddma_space.cc226 L4::Ipc::Snd_fpage fpage; in map() local
228 a, a + size - 1, fpage)); in map()
233 f.raw = fpage.data(); in map()
236 unsigned long s = 1UL << fpage.order(); in map()
/l4re-core-master/l4sys/include/
A D__l4_fpage.h84 l4_umword_t fpage; ///< Raw value member
102 l4_fpage_t fpage; ///< Source flex-page descriptor member
539 l4_fpage_contains(l4_fpage_t fpage, l4_addr_t addr, unsigned size) L4_NOTHROW;
687 l4_fpage_contains(l4_fpage_t fpage, l4_addr_t addr, unsigned log2size) L4_NOTHROW in l4_fpage_contains() argument
689 l4_addr_t fa = l4_fpage_memaddr(fpage); in l4_fpage_contains()
691 && (fa + (1UL << l4_fpage_size(fpage)) >= addr + (1UL << log2size)); in l4_fpage_contains()
A Dtask.h98 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,
295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u() argument
301 v->mr[2] = fpage.raw; in l4_task_unmap_u()
357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap() argument
360 return l4_task_unmap_u(task, fpage, map_mask, l4_utcb()); in l4_task_unmap()
A Dtask80 * \param fpage Flexpage that describes an area in one capability space
93 * \note If the reference counter of a kernel object referenced in `fpage`
99 l4_msgtag_t unmap(l4_fpage_t const &fpage,
102 { return l4_task_unmap_u(cap(), fpage, map_mask, utcb); }
201 * \param fpage Flexpage describing the virtual area the memory goes to.
212 l4_msgtag_t add_ku_mem(l4_fpage_t const &fpage,
214 { return l4_task_add_ku_mem_u(cap(), fpage, utcb); }
/l4re-core-master/l4re/util/libs/
A Ddataspace_svr.cc97 l4_fpage_t fpage = l4_fpage(map_base, order, flags.fpage_rights()); in map() local
99 memory = L4::Ipc::Snd_fpage(fpage, hot_spot, _map_flags, _cache_flags); in map()
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h72 l4_fpage_t fpage(unsigned rights = L4_CAP_FPAGE_RWS) const noexcept
176 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in move()
192 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in copy()
A Dipc_types382 cap.fpage(rights).raw)
609 L4::Ipc::Snd_fpage fpage() const noexcept
648 * Make an L4::IPC::Cap<T> for the given capability with full fpage
718 return msg_add(msg, offset, limit, arg.fpage());
760 return msg_add(msg, offset, limit, arg.fpage());
/l4re-core-master/libloader/include/
A Dremote_app_model145 chksys(ntask->map(L4Re::This_task, ntask.fpage(),
149 chksys(ntask->map(L4Re::This_task, nthread.fpage(),
161 chksys(ntask->map(L4Re::This_task, this->local_kip_cap().fpage(),
/l4re-core-master/l4sys/include/ARCH-mips/
A Dktrace_events.h123 L4_ktrace_t__Mword fpage; /* 64+8 */ member
352 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4re/util/include/
A Dcounting_cap_alloc210 l4_task_unmap(task, cap.fpage(), unmap_flags);
255 l4_task_unmap(task, cap.fpage(), unmap_flags);
A Dbitmap_cap_alloc94 l4_task_unmap(task, cap.fpage(), unmap_flags | 2);
A Ddataspace_svr65 * \param[out] memory Send fpage to map
A Dobject_registry292 L4::Cap<L4::Task>(L4Re::This_task)->unmap(c.fpage(), L4_FP_ALL_SPACES);
/l4re-core-master/l4sys/include/ARCH-arm/
A Dktrace_events.h121 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-arm64/
A Dktrace_events.h122 L4_ktrace_t__Mword fpage; /* 64+8 */ member
/l4re-core-master/l4sys/include/ARCH-ppc32/
A Dktrace_events.h111 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-sparc/
A Dktrace_events.h111 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/l4sys/include/ARCH-amd64/
A Dktrace_events.h123 L4_ktrace_t__Mword fpage; /* 64+8 */ member
/l4re-core-master/l4sys/include/ARCH-x86/
A Dktrace_events.h122 L4_ktrace_t__Mword fpage; /* 44+4 */ member
/l4re-core-master/uclibc/lib/libpthread/src/
A Dmanager.cc236 L4::Cap<void>(th->p_thsem_cap).fpage(), in __pthread_manager()
237 L4::Cap<void>(th->p_th_cap).fpage() in __pthread_manager()

Completed in 38 milliseconds

12