Searched refs:l4_task_delete_obj (Results 1 – 2 of 2) sorted by relevance
157 l4_task_delete_obj(l4_cap_idx_t task, l4_cap_idx_t obj) L4_NOTHROW;380 l4_task_delete_obj(l4_cap_idx_t task, l4_cap_idx_t obj) L4_NOTHROW in l4_task_delete_obj() function
1530 l4_task_delete_obj(L4RE_THIS_TASK_CAP, cap); in __l4_kill_thread()
Completed in 5 milliseconds