Searched refs:l4_task_unmap_u (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 105 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage,
295 l4_task_unmap_u(l4_cap_idx_t task, l4_fpage_t fpage, in l4_task_unmap_u() function
360 return l4_task_unmap_u(task, fpage, map_mask, l4_utcb()); in l4_task_unmap()
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 | task | 102 { return l4_task_unmap_u(cap(), fpage, map_mask, utcb); }
|
Completed in 3 milliseconds