Searched defs:rights (Results 1 – 10 of 10) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | region.h | 31 L4_fpage_rights rights() const { return _rights; } in rights() function
41 void rights(L4_fpage_rights rights) { _rights = rights; } in rights() argument
|
| A D | mem_man.cc | 220 Mem_man::alloc_get_rights(Region const &r, L4_fpage_rights *rights) in alloc_get_rights()
|
| A D | memmap.cc | 166 L4_fpage_rights rights; in handle_page_fault() local
|
| /l4re-core-master/ned/server/src/ |
| A D | lua_ns.cc | 32 L4_cap_fpage_rights rights in __lookup() local
122 unsigned rights = n ? n->rights() : L4_CAP_FPAGE_RO; in __register() local
|
| A D | lua_cap.h | 69 L4_cap_fpage_rights rights() const in rights() function
|
| A D | lua_cap.cc | 112 unsigned rights = L4_CAP_FPAGE_R; in __set_mode_call() local
|
| /l4re-core-master/moe/server/src/ |
| A D | dataspace.h | 135 long op_allocate(L4Re::Dataspace::Rights rights, in op_allocate()
146 long op_info(L4Re::Dataspace::Rights rights, L4Re::Dataspace::Stats &s) in op_info()
157 long op_clear(L4Re::Dataspace::Rights rights, in op_clear()
|
| A D | dataspace.cc | 66 Moe::Dataspace::op_map(L4Re::Dataspace::Rights rights, in op_map()
|
| A D | dataspace_noncont.cc | 116 Moe::Dataspace_noncont::pre_allocate(l4_addr_t offset, l4_size_t size, unsigned rights) in pre_allocate()
|
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 615 unsigned int size, unsigned char rights) L4_NOTHROW in __l4_fpage_generic()
635 l4_fpage(l4_addr_t address, unsigned int size, unsigned char rights) L4_NOTHROW in l4_fpage()
647 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW in l4_obj_fpage()
|
Completed in 15 milliseconds