Lines Matching refs:L4Re
34 public L4::Epiface_t<Dataspace, L4Re::Dataspace, Server_object>,
38 using Flags = L4Re::Dataspace::Flags;
81 Flags flags = L4Re::Dataspace::F::RWX,
92 Flags map_flags(L4Re::Dataspace::Rights rights = L4_CAP_FPAGE_W) const noexcept
94 auto f = (_flags & Flags(L4Re::Dataspace::F::Rights_mask))
95 | L4Re::Dataspace::F::Caching_mask;
97 f &= ~L4Re::Dataspace::F::W;
130 long op_map(L4Re::Dataspace::Rights rights,
131 L4Re::Dataspace::Offset offset,
132 L4Re::Dataspace::Map_addr spot,
133 L4Re::Dataspace::Flags flags, L4::Ipc::Snd_fpage &fp);
135 long op_allocate(L4Re::Dataspace::Rights rights, in op_allocate()
136 L4Re::Dataspace::Offset offset, in op_allocate()
137 L4Re::Dataspace::Size size) in op_allocate()
140 long op_copy_in(L4Re::Dataspace::Rights rights,
141 L4Re::Dataspace::Offset dst_offs,
143 L4Re::Dataspace::Offset src_offs,
144 L4Re::Dataspace::Size sz);
146 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s) in op_info()
152 s.flags &= ~L4Re::Dataspace::F::W; in op_info()
157 long op_clear(L4Re::Dataspace::Rights rights, in op_clear()
158 L4Re::Dataspace::Offset offset, in op_clear()
159 L4Re::Dataspace::Size size) in op_clear()