/l4re-core-master/l4sys/include/ |
A D | task.h | 98 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, 105 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, 163 l4_task_delete_obj_u(l4_cap_idx_t task, l4_cap_idx_t obj, 231 l4_task_cap_equal(l4_cap_idx_t task, l4_cap_idx_t cap_a, 295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u() argument 357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap() argument 382 return l4_task_delete_obj_u(task, obj, l4_utcb()); in l4_task_delete_obj() 397 return l4_task_release_cap_u(task, cap, l4_utcb()); in l4_task_release_cap() 403 return l4_task_cap_valid_u(task, cap, l4_utcb()); in l4_task_cap_valid() 407 l4_task_cap_equal(l4_cap_idx_t task, l4_cap_idx_t cap_a, in l4_task_cap_equal() argument [all …]
|
A D | __task-arm.h | 25 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage, 39 l4_task_vgicc_map(l4_cap_idx_t task, l4_fpage_t vgicc_fpage) L4_NOTHROW; 46 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage, in l4_task_vgicc_map_u() argument 52 return l4_ipc_call(task, u, l4_msgtag(L4_PROTO_TASK, 2, 0, 0), L4_IPC_NEVER); in l4_task_vgicc_map_u() 56 l4_task_vgicc_map(l4_cap_idx_t task, l4_fpage_t vgicc_fpage) L4_NOTHROW in l4_task_vgicc_map() argument 58 return l4_task_vgicc_map_u(task, vgicc_fpage, l4_utcb()); in l4_task_vgicc_map()
|
A D | task | 4 * Common task related definitions. 27 #include <l4/sys/task.h> 42 * \includefile{l4/sys/task} 50 * Map resources available in the source task to a destination task. 52 * \param src_task Capability selector of the source task. 64 * The destination task is the task referenced by the capability on which the 66 * task. 78 * Revoke rights from the task. 81 * of `this` task 105 * Revoke rights from a task. [all …]
|
A D | thread | 150 * the task the thread is bound to. 159 * selector is valid in the task the thread is bound to. 169 * be valid within the task the thread is bound to. 178 * selector is valid in the task the thread is bound to. 184 * Bind the thread to a task. 191 * \param task The task the thread shall be bound to. 194 * thread is bound to the task. To actually start execution, 196 * task means that the code has access to all the task’s resources (and 198 * thread can be bound at most once to a task. 203 void bind(l4_utcb_t *thread_utcb, Cap<Task> const &task) noexcept [all …]
|
A D | thread.h | 259 l4_cap_idx_t task) L4_NOTHROW; 267 l4_cap_idx_t task, l4_utcb_t *utcb) L4_NOTHROW; 751 l4_thread_control_bind_u(l4_utcb_t *thread_utcb, l4_cap_idx_t task, in l4_thread_control_bind_u() argument 758 v->mr[L4_THREAD_CONTROL_MR_IDX_BIND_TASK + 1] = l4_obj_fpage(task, 0, L4_CAP_FPAGE_RWS).raw; in l4_thread_control_bind_u() 872 l4_thread_control_bind(l4_utcb_t *thread_utcb, l4_cap_idx_t task) L4_NOTHROW in l4_thread_control_bind() argument 874 l4_thread_control_bind_u(thread_utcb, task, l4_utcb()); in l4_thread_control_bind()
|
/l4re-core-master/l4re/include/ |
A D | cap_alloc | 27 #include <l4/sys/task> 70 * \param task If set, task to unmap the capability from. 73 virtual void free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP, 98 void free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP, 100 { _ca.free(cap, task, unmap_flags); } 102 bool release(L4::Cap<void> cap, l4_cap_idx_t task, 104 { return _ca.release(cap, task, unmap_flags); } 125 void free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP, 127 { ALLOC::free(cap, task, unmap_flags); } 129 bool release(L4::Cap<void> cap, l4_cap_idx_t task, [all …]
|
A D | env | 58 * task's capability table and the L4 runtime environment provides 70 * task | L4::Task | L4Re::Env::task() 80 * For an explanation of the default task capabilites see \ref 97 * Returns the initial environment for the current task. 142 * Object-capability of the user task. 143 * \return Object-capability of the user task. 145 L4::Cap<L4::Task> task() const noexcept 162 * UTCB area of the task. 265 * Set UTCB area of the task. 278 * Get the scheduler capability for the task. [all …]
|
A D | rm | 50 * managing the virtual memory address space of an L4 task. 482 * \param task This argument specifies the task where the pages are 484 * The default is the current task. 508 * \param task This argument specifies the task where the pages are 510 * The default is the current task. 522 L4::Cap<L4::Task> const &task) const noexcept; 647 L4::Cap<L4::Task> const &task) const noexcept 648 { return detach(addr, 1, mem, task, Detach_overlap); } 652 L4::Cap<L4::Task> const &task) const noexcept 657 L4::Cap<L4::Task> const &task) const noexcept [all …]
|
/l4re-core-master/l4re_c/include/ |
A D | rm.h | 153 l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW; 169 l4_cap_idx_t task) L4_NOTHROW; 230 l4re_ds_t *ds, l4_cap_idx_t task) L4_NOTHROW; 284 l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_unmap() argument 286 return l4re_rm_detach_srv(l4re_global_env->rm, addr, 0, task); in l4re_rm_detach_unmap() 297 l4re_rm_detach_ds_unmap(void *addr, l4re_ds_t *ds, l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_ds_unmap() argument 300 ds, task); in l4re_rm_detach_ds_unmap()
|
/l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-10/include/pstl/ |
A D | parallel_backend_tbb.h | 415 /*override*/ tbb::task* 438 tbb::task* 471 tbb::task* __right = new (tbb::task::allocate_additional_child_of(*parent())) in execute() 473 tbb::task::spawn(*__right); in execute() 490 /*override*/ tbb::task* 520 tbb::task* 538 task* __m; in execute() 576 tbb::task::spawn(*__right); in execute() 602 using tbb::task; 603 task::spawn_root_and_wait(*new (task::allocate_root()) [all …]
|
/l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-9/include/pstl/ |
A D | parallel_backend_tbb.h | 411 /*override*/ tbb::task* 434 tbb::task* 467 tbb::task* __right = new (tbb::task::allocate_additional_child_of(*parent())) in execute() 469 tbb::task::spawn(*__right); in execute() 486 /*override*/ tbb::task* 516 tbb::task* 534 task* __m; in execute() 570 tbb::task::spawn(*__right); in execute() 596 using tbb::task; 597 task::spawn_root_and_wait(*new (task::allocate_root()) [all …]
|
/l4re-core-master/l4re/util/include/ |
A D | counting_cap_alloc | 26 #include <l4/sys/task> 186 * \param task If set, task to unmap the capability from. 195 bool free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP, 209 if (l4_is_valid_cap(task)) 210 l4_task_unmap(task, cap.fpage(), unmap_flags); 224 * \param task If set, task to unmap the capability from. 238 bool release(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP, 254 if (task != L4_INVALID_CAP) 255 l4_task_unmap(task, cap.fpage(), unmap_flags);
|
A D | bitmap_cap_alloc | 30 #include <l4/sys/task.h> 82 void free(L4::Cap<T> const &cap, l4_cap_idx_t task = L4_INVALID_CAP, 93 if (l4_is_valid_cap(task)) 94 l4_task_unmap(task, cap.fpage(), unmap_flags | 2); 99 bool release(L4::Cap<void>, l4_cap_idx_t task = L4_INVALID_CAP, 101 { (void)task; (void)unmap_flags; return false; }
|
A D | kumem_alloc | 43 * \param task Task to use for allocation. 57 L4::Cap<L4::Task> task = L4Re::Env::env()->task(),
|
A D | cap | 27 #include <l4/sys/task> 32 * \brief Release a capability from a task (unmap).
|
/l4re-core-master/l4sys/include/ARCH-x86/ |
A D | segment.h | 44 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int size, 94 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, in fiasco_ldt_set() argument 103 …return l4_error_u(l4_ipc_call(task, utcb, l4_msgtag(L4_PROTO_TASK, 2 + num_desc * 2, 0, 0), L4_IPC… in fiasco_ldt_set()
|
/l4re-core-master/l4re_c/util/lib/ |
A D | kumem_alloc.cc | 24 l4_cap_idx_t task, l4_cap_idx_t regmgr) L4_NOTHROW in l4re_util_kumem_alloc() argument 26 L4::Cap<L4::Task> t(task); in l4re_util_kumem_alloc()
|
/l4re-core-master/l4re/include/impl/ |
A D | rm_impl.h | 62 L4::Cap<L4::Task> task, unsigned flags) const noexcept in detach() argument 73 if (!task.is_valid()) in detach() 100 task->unmap(l4_fpage(p, order, L4_FPAGE_RWX), in detach()
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | segment.h | 44 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, 154 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, in fiasco_ldt_set() argument 163 …return l4_error_u(l4_ipc_call(task, utcb, l4_msgtag(L4_PROTO_TASK, 2 + num_desc * 2, 0, 0), L4_IPC… in fiasco_ldt_set()
|
/l4re-core-master/l4re/util/libs/ |
A D | kumem_alloc.cc | 31 L4::Cap<L4::Task> task, in kumem_alloc() argument 44 if ((r = l4_error(task->add_ku_mem(l4_fpage(*v, sh, L4_FPAGE_RW))))) in kumem_alloc()
|
/l4re-core-master/l4util/lib/src/ |
A D | thread.c | 24 l4_cap_idx_t task, in l4util_create_thread() argument 33 l4_thread_control_bind(thread_utcb, task); in l4util_create_thread()
|
/l4re-core-master/l4re_c/lib/src/ |
A D | dma_space.cc | 48 l4re_dma_space_associate(l4re_dma_space_t dma, l4_cap_idx_t task, in l4re_dma_space_associate() argument 56 return d->associate(L4::Ipc::Cap<L4::Task>::from_ci(task), in l4re_dma_space_associate()
|
A D | rm.cc | 58 l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_srv() argument 61 L4::Cap<L4::Task> t(task); in l4re_rm_detach_srv()
|
/l4re-core-master/ned/server/src/ |
A D | lua_exec.cc | 41 L4_INLINE_RPC(long, wait, (l4_cap_idx_t thread, Task task)); 50 long op_wait(Obs_iface::Rights, l4_cap_idx_t thread, Obs_iface::Task task); 56 Observer::op_wait(Obs_iface::Rights, l4_cap_idx_t thread, Obs_iface::Task task) in op_wait() argument 58 App_task *t = task.p; in op_wait() 199 void map_initial_caps(L4::Cap<L4::Task> task, l4_cap_idx_t start) in map_initial_caps() argument 224 chksys(task->map(L4Re::This_task, in map_initial_caps()
|
/l4re-core-master/libloader/include/ |
A D | loader | 92 * in the target task. 182 void launch(App_task task, Prog prog, Const_dataspace bin, Dbg_ const &dbg) 185 Am am(task, prog); 190 void launch(App_task task, Prog prog, char const *bin, Dbg_ const &dbg) 193 Am am(task, prog);
|