Searched refs:l4_fpage (Results 1 – 15 of 15) sorted by relevance
| /l4re-core-master/libsigma0/lib/src/ |
| A D | anypage.c | 29 m->mr[1] = l4_fpage(0, sz, 0).raw; in l4sigma0_map_anypage()
33 b->br[1] = l4_fpage(map_area, log2_map_size, L4_FPAGE_RWX).raw; in l4sigma0_map_anypage()
|
| A D | mem.c | 46 m->mr[1] = l4_fpage(phys, l, L4_FPAGE_RWX).raw; in map_mem()
50 b->br[1] = l4_fpage(virt, l, L4_FPAGE_RWX).raw; in map_mem()
|
| A D | kip.c | 32 b->br[1] = l4_fpage(addr, log2_size, L4_FPAGE_RX).raw; in l4sigma0_map_kip()
|
| /l4re-core-master/l4re/util/libs/ |
| A D | kumem_alloc.cc | 44 if ((r = l4_error(task->add_ku_mem(l4_fpage(*v, sh, L4_FPAGE_RW))))) in kumem_alloc()
|
| A D | dataspace_svr.cc | 97 l4_fpage_t fpage = l4_fpage(map_base, order, flags.fpage_rights()); in map()
|
| /l4re-core-master/sigma0/server/src/ |
| A D | memmap_internal.h | 52 l4_utcb_mr_u(utcb)->mr[1] = l4_fpage(addr, size, access).raw; in snd_fpage()
|
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 306 l4_fpage(l4_addr_t address, unsigned int size, unsigned char rights) L4_NOTHROW;
635 l4_fpage(l4_addr_t address, unsigned int size, unsigned char rights) L4_NOTHROW in l4_fpage() function
|
| /l4re-core-master/moe/server/src/ |
| A D | boot_fs.cc | 98 m->mr[1] = l4_fpage(s, order, L4_FPAGE_RWX).raw; in s0_request_ram()
102 b->br[1] = l4_fpage(s, order, L4_FPAGE_RWX).raw; in s0_request_ram()
|
| A D | dataspace.h | 51 : fpage(l4_fpage(base, size, flags.fpage_rights())), in throw()
|
| A D | dataspace_noncont.cc | 30 l4_fpage((unsigned long)*p, page_shift(), in unmap_page()
|
| A D | dma_space.cc | 151 l4_fpage_t fp = l4_fpage(a, o, L4_FPAGE_RWX); in remove()
|
| A D | main.cc | 536 l4_fpage(i, L4_PAGESHIFT, L4_FPAGE_W), L4_FP_ALL_SPACES); in main()
|
| /l4re-core-master/l4re/include/impl/ |
| A D | rm_impl.h | 100 task->unmap(l4_fpage(p, order, L4_FPAGE_RWX), in detach()
|
| /l4re-core-master/libloader/include/ |
| A D | remote_app_model | 91 env->utcb_area(l4_fpage(this->_info.utcbs_start, this->_info.utcbs_log2size, 0));
|
| /l4re-core-master/uclibc/lib/libpthread/src/ |
| A D | manager.cc | 615 if (l4_error(e->task()->add_ku_mem(l4_fpage(kumem, L4_PAGESHIFT, in l4pthr_get_more_utcb()
|
Completed in 15 milliseconds