Searched refs:l4_task_release_cap (Results 1 – 1 of 1) sorted by relevance
183 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW;395 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_release_cap() function
Completed in 2 milliseconds