Searched refs:L4_FPAGE_RWX (Results 1 – 13 of 13) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | region.h | 23 Region() : _l(0), _h(0), _rights(L4_FPAGE_RWX) {} in Region()
25 L4_fpage_rights rights = L4_FPAGE_RWX)
58 L4_fpage_rights rights = L4_FPAGE_RWX)
67 L4_fpage_rights rights = L4_FPAGE_RWX)
|
| A D | memmap.cc | 85 a->snd_fpage(addr, size, L4_FPAGE_RWX, true); in map_free_page()
122 mem_flags = L4_FPAGE_RWX; in map_mem()
163 L4_fpage_rights dr = inst_fetch ? (write ? L4_FPAGE_RWX : L4_FPAGE_RX) in handle_page_fault()
|
| /l4re-core-master/libsigma0/lib/src/ |
| 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 | anypage.c | 33 b->br[1] = l4_fpage(map_area, log2_map_size, L4_FPAGE_RWX).raw; in l4sigma0_map_anypage()
|
| /l4re-core-master/l4re_c/include/ |
| A D | namespace.h | 43 L4RE_NS_REGISTER_RWS = L4_FPAGE_RWX,
|
| A D | dataspace.h | 64 L4RE_DS_F_RWX = L4_FPAGE_RWX,
|
| /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_noncont.cc | 31 ro ? L4_FPAGE_W : L4_FPAGE_RWX), L4_FP_OTHER_SPACES); in unmap_page()
|
| A D | dma_space.cc | 151 l4_fpage_t fp = l4_fpage(a, o, L4_FPAGE_RWX); in remove()
|
| /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/l4re/util/include/ |
| A D | cap | 41 l4_obj_fpage(cap.cap(), 0, L4_FPAGE_RWX),
|
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 116 L4_FPAGE_RWX = L4_FPAGE_RW | L4_FPAGE_X, /**< Read-write-execute flex page */ enumerator
|
| /l4re-core-master/l4re/include/ |
| A D | dataspace | 89 RWX = L4_FPAGE_RWX,
|
Completed in 12 milliseconds