Lines Matching refs:rights
87 virtual int pre_allocate(l4_addr_t offset, l4_size_t size, unsigned rights) = 0;
92 Flags map_flags(L4Re::Dataspace::Rights rights = L4_CAP_FPAGE_W) const noexcept
96 if (!(rights & L4_CAP_FPAGE_W))
130 long op_map(L4Re::Dataspace::Rights rights,
135 long op_allocate(L4Re::Dataspace::Rights rights, in op_allocate() argument
138 { return pre_allocate(offset, size, rights & 3); } in op_allocate()
140 long op_copy_in(L4Re::Dataspace::Rights rights,
146 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s) in op_info() argument
151 if (!(rights & L4_CAP_FPAGE_W)) in op_info()
157 long op_clear(L4Re::Dataspace::Rights rights, in op_clear() argument
161 if (!map_flags(rights).w()) in op_clear()