Searched refs:L4_FPAGE_RW (Results 1 – 8 of 8) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | init_mem.cc | 37 iomem.add_free(Region(0, ~0UL, 0, L4_FPAGE_RW)); in init_memory()
62 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
63 mismatch = Region(start, end, sigma0_taskno, L4_FPAGE_RW); in init_memory()
67 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW)) in init_memory()
69 mismatch = Region(start, end, sigma0_taskno, L4_FPAGE_RW); in init_memory()
72 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW)) in init_memory()
82 iomem.add_free(Region(start, end, 0, L4_FPAGE_RW)); in init_memory()
84 Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
|
| A D | ioports_x86.cc | 25 io_ports.add_free(Region::kr(0, (64 * 1024) << PORT_SHIFT, 0, L4_FPAGE_RW)); in init_io_ports()
42 io_ports.alloc(Region::bs(port, 1UL << size, t, L4_FPAGE_RW)); in handle_io_page_fault()
|
| A D | memmap.cc | 164 : (write ? L4_FPAGE_RW : L4_FPAGE_RO); in handle_page_fault()
|
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 114 L4_FPAGE_RW = L4_FPAGE_RO | L4_FPAGE_W, /**< Read-write flex page */ enumerator
116 L4_FPAGE_RWX = L4_FPAGE_RW | L4_FPAGE_X, /**< Read-write-execute flex page */
643 return __l4_fpage_generic(port << L4_FPAGE_ADDR_SHIFT, L4_FPAGE_IO, size, L4_FPAGE_RW); in l4_iofpage()
|
| /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()
|
| /l4re-core-master/l4re_c/include/ |
| A D | dataspace.h | 62 L4RE_DS_F_RW = L4_FPAGE_RW,
|
| /l4re-core-master/l4re/include/ |
| A D | dataspace | 84 RW = L4_FPAGE_RW,
|
| /l4re-core-master/uclibc/lib/libpthread/src/ |
| A D | manager.cc | 616 L4_FPAGE_RW)))) in l4pthr_get_more_utcb()
|
Completed in 11 milliseconds