Searched refs:l4_task_map (Results 1 – 2 of 2) sorted by relevance
| /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()
|
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 65 l4_task_map(l4_cap_idx_t dst_task, l4_cap_idx_t src_task,
350 l4_task_map(l4_cap_idx_t dst_task, l4_cap_idx_t src_task, in l4_task_map() function
|
Completed in 3 milliseconds