Searched refs:l4_task_unmap (Results 1 – 7 of 7) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 98 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage,
357 l4_task_unmap(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap() function
|
| /l4re-core-master/l4re/util/include/ |
| A D | cap | 40 return l4_task_unmap(L4_BASE_TASK_CAP,
|
| A D | counting_cap_alloc | 210 l4_task_unmap(task, cap.fpage(), unmap_flags);
255 l4_task_unmap(task, cap.fpage(), unmap_flags);
|
| A D | bitmap_cap_alloc | 94 l4_task_unmap(task, cap.fpage(), unmap_flags | 2);
|
| /l4re-core-master/moe/server/src/ |
| A D | dataspace_cont.cc | 93 l4_task_unmap(L4_BASE_TASK_CAP, addr.fp(), L4_FP_OTHER_SPACES); in unmap()
|
| A D | dataspace_noncont.cc | 29 l4_task_unmap(L4_BASE_TASK_CAP, in unmap_page()
|
| A D | main.cc | 535 l4_task_unmap(l4_utcb(), L4_BASE_TASK_CAP, in main()
|
Completed in 7 milliseconds