Lines Matching refs:rights
6 * economic rights: Technische Universität Dresden (Germany)
177 long op_map(L4Re::Dataspace::Rights rights,
183 auto rf = map_flags(rights);
191 long op_allocate(L4Re::Dataspace::Rights rights,
194 { return allocate(offset, size, rights & 3); }
196 long op_copy_in(L4Re::Dataspace::Rights rights,
205 if (!(rights & L4_CAP_FPAGE_W))
214 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s)
219 if (map_flags(rights).w())
224 long op_clear(L4Re::Dataspace::Rights rights,
228 if (!map_flags(rights).w())
248 map_flags(L4Re::Dataspace::Rights rights = L4_CAP_FPAGE_W) const noexcept
251 if (!(rights & L4_CAP_FPAGE_W))