/l4re-core-master/sigma0/server/src/ |
A D | region.h | 25 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 D | mem_man.cc | 45 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 D | memmap.cc | 135 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 D | mem_man.h | 40 bool alloc_get_rights(Region const &r, L4_fpage_rights *rights);
|
/l4re-core-master/moe/server/src/ |
A D | dataspace.h | 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 [all …]
|
A D | dma_space.h | 107 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 D | dataspace.cc | 66 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 D | lua_cap.cc | 112 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 D | lua_ns.cc | 32 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.h | 306 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 D | task | 9 * 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 D | rcv_endpoint | 36 * 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 D | dataspace_svr | 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)) 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 D | ipc_types | 361 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 D | ipc_legacy | 24 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 D | ipc_server | 268 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 D | capability.h | 72 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 D | ipc_server | 10 * 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 D | ned.dox | 37 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 D | adjust_stack | 4 * economic rights: Technische Universität Dresden (Germany)
|
/l4re-core-master/l4re/include/ |
A D | dataspace | 12 * 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 D | COPYING | 28 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 D | adjust_stack | 4 * economic rights: Technische Universität Dresden (Germany)
|
/l4re-core-master/libloader/include/ARCH-amd64/ |
A D | adjust_stack | 4 * economic rights: Technische Universität Dresden (Germany)
|
/l4re-core-master/libloader/include/ARCH-arm/ |
A D | adjust_stack | 4 * economic rights: Technische Universität Dresden (Germany)
|