Searched refs:L4_CAP_FPAGE_RWSD (Results 1 – 6 of 6) sorted by relevance
| /l4re-core-master/moe/server/src/ |
| A D | alloc.cc | 123 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
133 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
150 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
178 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
212 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
234 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
244 res = L4::Ipc::make_cap(ko, L4_CAP_FPAGE_RWSD); in op_create()
|
| /l4re-core-master/l4sys/include/cxx/ |
| A D | capability.h | 176 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in move()
192 l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_CAP_FPAGE_RWSD), in copy()
|
| A D | ipc_types | 663 { return Cap<T>(cap, L4_CAP_FPAGE_RWSD | L4_FPAGE_C_OBJ_RIGHTS); }
|
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 375 return l4_task_unmap_u(task, l4_obj_fpage(obj, 0, L4_CAP_FPAGE_RWSD), in l4_task_delete_obj_u()
390 return l4_task_unmap_u(task, l4_obj_fpage(cap, 0, L4_CAP_FPAGE_RWSD), in l4_task_release_cap_u()
|
| A D | __l4_fpage.h | 198 L4_CAP_FPAGE_RWSD = L4_CAP_FPAGE_RWS | L4_CAP_FPAGE_D, enumerator
|
| /l4re-core-master/ned/server/src/ |
| A D | lua_cap.h | 59 { return _c.fpage(_rights & L4_CAP_FPAGE_RWSD); } in fpage()
|
Completed in 7 milliseconds