Searched refs:L4_CAP_FPAGE_RW (Results 1 – 9 of 9) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 178 L4_CAP_FPAGE_RW = L4_CAP_FPAGE_R | L4_CAP_FPAGE_W, enumerator
192 L4_CAP_FPAGE_RWS = L4_CAP_FPAGE_RW | L4_CAP_FPAGE_S,
204 L4_CAP_FPAGE_RWD = L4_CAP_FPAGE_RW | L4_CAP_FPAGE_D,
|
| /l4re-core-master/l4re/include/ |
| A D | dma_space | 188 L4::Ipc::Call_t<L4_CAP_FPAGE_RW>);
197 L4::Ipc::Call_t<L4_CAP_FPAGE_RW>);
|
| A D | namespace | 71 Rw = L4_CAP_FPAGE_RW, ///< Read-write
|
| A D | rm | 192 { return w() ? L4_CAP_FPAGE_RW : L4_CAP_FPAGE_RO; }
|
| /l4re-core-master/l4re/util/include/ |
| A D | event_svr | 58 ds = L4::Ipc::Cap<L4Re::Dataspace>(_ds, L4_CAP_FPAGE_RW);
|
| /l4re-core-master/l4re/util/include/video/ |
| A D | goos_svr | 130 ds = L4::Ipc::Cap<L4Re::Dataspace>(_fb_ds, L4_CAP_FPAGE_RW);
|
| /l4re-core-master/l4sys/include/cxx/ |
| A D | ipc_types | 629 * #L4_CAP_FPAGE_RW rights.
635 { return Cap<T>(cap, L4_CAP_FPAGE_RW); }
|
| A D | ipc_iface | 253 * L4_RPC(long, func, (unsigned value), L4::Ipc::Call_t<L4_CAP_FPAGE_RW>);
|
| /l4re-core-master/l4re_vfs/include/impl/ |
| A D | vfs_impl.h | 634 ? L4_CAP_FPAGE_RW in mmap2()
|
Completed in 9 milliseconds