Searched refs:l4_task_release_cap_u (Results 1 – 2 of 2) sorted by relevance
189 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap,387 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap, in l4_task_release_cap_u() function397 return l4_task_release_cap_u(task, cap, l4_utcb()); in l4_task_release_cap()
159 { return l4_task_release_cap_u(this->cap(), cap.cap(), utcb); }
Completed in 3 milliseconds