Home
last modified time | relevance | path

Searched defs:task (Results 1 – 16 of 16) sorted by relevance

/l4re-core-master/l4sys/include/
A Dtask.h295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u()
306 l4_task_unmap_batch_u(l4_cap_idx_t task, l4_fpage_t const *fpages, in l4_task_unmap_batch_u()
327 l4_task_cap_equal_u(l4_cap_idx_t task, l4_cap_idx_t cap_a, in l4_task_cap_equal_u()
338 l4_task_add_ku_mem_u(l4_cap_idx_t task, l4_fpage_t ku_mem, in l4_task_add_ku_mem_u()
357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap()
364 l4_task_unmap_batch(l4_cap_idx_t task, l4_fpage_t const *fpages, in l4_task_unmap_batch()
372 l4_task_delete_obj_u(l4_cap_idx_t task, l4_cap_idx_t obj, in l4_task_delete_obj_u()
380 l4_task_delete_obj(l4_cap_idx_t task, l4_cap_idx_t obj) L4_NOTHROW in l4_task_delete_obj()
387 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap, in l4_task_release_cap_u()
401 l4_task_cap_valid(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_cap_valid()
[all …]
A D__task-arm.h46 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage, 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()
A Dthread.h751 l4_thread_control_bind_u(l4_utcb_t *thread_utcb, l4_cap_idx_t task, 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()
/l4re-core-master/l4re_c/util/lib/
A Dkumem_alloc.cc24 l4_cap_idx_t task, l4_cap_idx_t regmgr) L4_NOTHROW in l4re_util_kumem_alloc()
/l4re-core-master/l4re/util/libs/
A Dkumem_alloc.cc31 L4::Cap<L4::Task> task, in kumem_alloc()
/l4re-core-master/l4util/lib/src/
A Dthread.c24 l4_cap_idx_t task, in l4util_create_thread()
/l4re-core-master/l4sys/include/ARCH-x86/
A Dsegment.h94 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, in fiasco_ldt_set()
/l4re-core-master/l4re/include/impl/
A Drm_impl.h62 L4::Cap<L4::Task> task, unsigned flags) const noexcept in detach()
/l4re-core-master/l4re_c/include/
A Drm.h284 l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW 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()
/l4re-core-master/l4re_c/lib/src/
A Ddma_space.cc48 l4re_dma_space_associate(l4re_dma_space_t dma, l4_cap_idx_t task, in l4re_dma_space_associate()
A Drm.cc58 l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_srv()
/l4re-core-master/l4sys/include/ARCH-amd64/
A Dsegment.h154 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, in fiasco_ldt_set()
/l4re-core-master/ned/server/src/
A Dapp_model.cc162 L4::Cap<L4::Task> *task, in get_task_caps()
A Dlua_exec.cc56 Observer::op_wait(Obs_iface::Rights, l4_cap_idx_t thread, Obs_iface::Task task) in op_wait()
199 void map_initial_caps(L4::Cap<L4::Task> task, l4_cap_idx_t start) in map_initial_caps()
/l4re-core-master/moe/server/src/
A Dloader.cc223 L4::Cap<L4::Task> *task, in get_task_caps()
A Ddma_space.cc172 static Task_mapper *find_mapper(L4::Cap<L4::Task> task) in find_mapper()

Completed in 25 milliseconds