Searched refs:task_id_token_release (Results 1 – 4 of 4) sorted by relevance
70 void task_id_token_release(task_id_token_t token);
118 task_id_token_release(task_id_token_t token) in task_id_token_release() function
7902 task_id_token_release(token); /* consumes ref given by notification */ in task_fatal_port_no_senders()
175 destructor: task_id_token_release(task_id_token_t)