Home
last modified time | relevance | path

Searched refs:rights (Results 1 – 25 of 132) sorted by relevance

123456

/l4re-core-master/sigma0/server/src/
A Dregion.h25 L4_fpage_rights rights = L4_FPAGE_RWX)
26 : _l((start & ~Owner_mask) | owner), _h(end), _rights(rights)
31 L4_fpage_rights rights() const { return _rights; } in rights() function
41 void rights(L4_fpage_rights rights) { _rights = rights; } in rights() argument
58 L4_fpage_rights rights = L4_FPAGE_RWX)
63 return Region(start, start + size - 1, owner, rights);
67 L4_fpage_rights rights = L4_FPAGE_RWX)
68 { return bs(start, end - start, owner, rights); }
75 os << '[' << r.owner() << ':' << ((r.rights() & L4_FPAGE_RO) ? 'R' : '-')
76 << ((r.rights() & L4_FPAGE_W) ? 'W' : '-')
[all …]
A Dmem_man.cc45 if (n && n->owner() == r.owner() && n->rights() == r.rights()) in add()
65 if (n && n->owner() == r.owner() && n->rights() == r.rights()) in add()
134 if (r2->owner() == r.owner() && r2->rights() == r.rights()) in alloc_from()
170 Region const nr(r.end() + 1, r2->end(), r2->owner(), r2->rights()); in alloc_from()
220 Mem_man::alloc_get_rights(Region const &r, L4_fpage_rights *rights) in alloc_get_rights() argument
226 if ((p->rights() & q.rights()) != q.rights()) in alloc_get_rights()
229 *rights = p->rights(); in alloc_get_rights()
230 q.rights(p->rights()); in alloc_get_rights()
266 if (*r2 == r && (r2->owner() != r.owner() || r2->rights() != r.rights())) in reserve()
290 Region const nr(r.end() + 1, r2->end(), r2->owner(), r2->rights()); in reserve()
A Dmemmap.cc135 mem_flags = p->rights(); in map_mem()
166 L4_fpage_rights rights; in handle_page_fault() local
168 if (Mem_man::ram()->alloc_get_rights(r, &rights)) in handle_page_fault()
170 answer->snd_fpage(r.start(), L4_LOG2_PAGESIZE, rights, true); in handle_page_fault()
A Dmem_man.h40 bool alloc_get_rights(Region const &r, L4_fpage_rights *rights);
/l4re-core-master/moe/server/src/
A Ddataspace.h87 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
[all …]
A Ddma_space.h107 long op_map(L4Re::Dma_space::Rights rights,
112 long op_unmap(L4Re::Dma_space::Rights rights,
116 long op_associate(L4Re::Dma_space::Rights rights,
120 long op_disassociate(L4Re::Dma_space::Rights rights);
A Ddataspace.cc66 Moe::Dataspace::op_map(L4Re::Dataspace::Rights rights, in op_map() argument
72 auto mf = map_flags(rights); in op_map()
/l4re-core-master/ned/server/src/
A Dlua_cap.cc112 unsigned rights = L4_CAP_FPAGE_R; in __set_mode_call() local
114 rights = lua_tointeger(l, 2); in __set_mode_call()
122 case 'R': rights |= L4_CAP_FPAGE_R; break; in __set_mode_call()
124 case 'W': rights |= L4_CAP_FPAGE_W; break; in __set_mode_call()
126 case 'S': rights |= L4_CAP_FPAGE_S; break; in __set_mode_call()
128 case 'D': rights |= L4_CAP_FPAGE_D; break; in __set_mode_call()
130 case 'N': rights |= L4_FPAGE_C_NO_REF_CNT; break; in __set_mode_call()
132 case 'C': rights |= L4_FPAGE_C_OBJ_RIGHT1; break; in __set_mode_call()
136 __set_rights(l, rights); in __set_mode_call()
142 lua_pushinteger(l, c->rights()); in __set_mode_call()
A Dlua_ns.cc32 L4_cap_fpage_rights rights in __lookup() local
60 no->set_rights(rights); in __lookup()
122 unsigned rights = n ? n->rights() : L4_CAP_FPAGE_RO; in __register() local
124 ->register_obj(key, L4::Ipc::make_cap(cap, rights), in __register()
125 L4Re::Namespace::Overwrite | rights); in __register()
/l4re-core-master/l4sys/include/
A D__l4_fpage.h306 l4_fpage(l4_addr_t address, unsigned int size, unsigned char rights) L4_NOTHROW;
354 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW;
611 unsigned int size, unsigned char rights) L4_NOTHROW;
615 unsigned int size, unsigned char rights) L4_NOTHROW in __l4_fpage_generic() argument
618 t.raw = ((rights << L4_FPAGE_RIGHTS_SHIFT) & L4_FPAGE_RIGHTS_MASK) in __l4_fpage_generic()
635 l4_fpage(l4_addr_t address, unsigned int size, unsigned char rights) L4_NOTHROW in l4_fpage() argument
637 return __l4_fpage_generic(address, L4_FPAGE_MEMORY, size, rights); in l4_fpage()
647 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW in l4_obj_fpage() argument
651 return __l4_fpage_generic(obj, L4_FPAGE_OBJ, order, rights); in l4_obj_fpage()
A Dtask9 * economic rights: Technische Universität Dresden (Germany)
78 * Revoke rights from the task.
87 * This method allows to revoke rights from the destination task. For a flex
88 * page describing IO ports or memory, it also revokes rights from all the
89 * tasks that got the rights delegated from the destination task (i.e., this
90 * operation does a recursive rights revocation). If the set of rights is
105 * Revoke rights from a task.
113 * Revoke rights for an array of flexpages, see #unmap for details.
134 * reference to it drop the reference. No error will be reported if the rights
183 * rights.
A Drcv_endpoint36 * Such an object is for example an Ipc_gate (with server rights) or an
57 * \retval -L4_EPERM No #L4_CAP_FPAGE_S rights on `t` or the capability used
/l4re-core-master/l4re/util/include/
A Ddataspace_svr6 * 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))
219 if (map_flags(rights).w())
224 long op_clear(L4Re::Dataspace::Rights rights,
228 if (!map_flags(rights).w())
[all …]
/l4re-core-master/l4sys/include/cxx/
A Dipc_types361 unsigned char rights,
382 cap.fpage(rights).raw)
386 unsigned char rights,
550 * Mask for rights bits stored internally.
605 unsigned rights() const noexcept
621 * \param rights rights mask that shall be applied on transfer.
625 { return Cap<T>(cap, rights); }
629 * #L4_CAP_FPAGE_RW rights.
639 * #L4_CAP_FPAGE_RWS rights.
649 * and object-specific rights.
[all …]
A Dipc_legacy24 int dispatch(unsigned rights, IOS &ios) \
27 l4_msgtag_t r = Dispatch::f(this, ios.tag(), rights, ios.utcb()); \
33 int p_dispatch(IFACE *, unsigned rights, IOS &ios) \
38 ios.tag(), rights); \
A Dipc_server268 call(OBJ *o, l4_utcb_t *utcb, l4_msgtag_t tag, unsigned rights, ARGS ...a)
270 if ((rights & rmask()) != rmask())
275 Rights(rights), a...);
288 _call(OBJ *o, l4_utcb_t *utcb, l4_msgtag_t tag, unsigned rights, OPCODE_TYPE op, ARGS ...a)
293 if ((rights & rmask()) != rmask())
298 Rights(rights), a...);
301 _call<OBJ, ARGS...>(o, utcb, tag, rights, op, a...);
306 call(OBJ *o, l4_utcb_t *utcb, l4_msgtag_t tag, unsigned rights, ARGS ...a)
316 return _call<OBJ, ARGS...>(o, utcb, tag, rights, op, a...);
340 dispatch_call(OBJ *o, l4_utcb_t *utcb, l4_msgtag_t tag, unsigned rights, ARGS ...a)
[all …]
A Dcapability.h72 l4_fpage_t fpage(unsigned rights = L4_CAP_FPAGE_RWS) const noexcept
73 { return l4_obj_fpage(_c, 0, rights); }
/l4re-core-master/cxx/lib/ipc/include/
A Dipc_server10 * economic rights: Technische Universität Dresden (Germany)
54 * \param rights The rights bits in the invoked capability.
69 virtual int dispatch(unsigned long rights, Ipc::Iostream &ios) = 0;
71 l4_msgtag_t dispatch(l4_msgtag_t tag, unsigned rights, l4_utcb_t *utcb)
75 int r = dispatch(rights, ios);
117 * \param rights The rights from the received IPC (forwarded to p_dispatch()).
125 static int proto_dispatch(THIS *self, l4_umword_t rights, L4::Ipc::Iostream &ios)
129 return Kobject_typeid<IFACE>::proto_dispatch(self, t.label(), rights, ios);
147 * \code int p_dispatch(Iface *, unsigned rights, L4::Ipc::Iostream &) \endcode
/l4re-core-master/ned/doc/
A Dned.dox37 additional information about the access rights that shall be transfered to
39 Principle of Least Privilege, minimal rights are assigned by default. Extended
40 rights can be added using the method \c mode("...") (short \c m("...")) that
41 returns a new reference to the capability with the given rights.
42 \note It is generally impossible to elevate the real access rights to an
43 object. This means that if Ned has only restricted rights to an object it is
44 not possible to upgrade the access rights with the \c mode method.
/l4re-core-master/libloader/include/ARCH-arm64/
A Dadjust_stack4 * economic rights: Technische Universität Dresden (Germany)
/l4re-core-master/l4re/include/
A Ddataspace12 * economic rights: Technische Universität Dresden (Germany)
90 /// All rights bits available for mappings
149 * \retval -L4_EPERM Insufficient permission to map with requested rights.
172 * \retval -L4_EPERM Insufficient permission to map with requested rights.
224 * The memory is allocated with the same rights as the dataspace
/l4re-core-master/
A DCOPYING28 To protect your rights, we need to make restrictions that forbid
29 anyone to deny you these rights or to ask you to surrender the rights.
34 gratis or for a fee, you must give the recipients all the rights that
37 rights.
39 We protect your rights with two steps: (1) copyright the software, and
124 Thus, it is not the intent of this section to claim rights or contest
125 your rights to work written entirely by you; rather, the intent is to
175 void, and will automatically terminate your rights under this License.
176 However, parties who have received copies, or rights, from you under
193 restrictions on the recipients' exercise of the rights granted herein.
/l4re-core-master/libloader/include/ARCH-ppc32/
A Dadjust_stack4 * economic rights: Technische Universität Dresden (Germany)
/l4re-core-master/libloader/include/ARCH-amd64/
A Dadjust_stack4 * economic rights: Technische Universität Dresden (Germany)
/l4re-core-master/libloader/include/ARCH-arm/
A Dadjust_stack4 * economic rights: Technische Universität Dresden (Germany)

Completed in 40 milliseconds

123456