Searched refs:task_token (Results 1 – 1 of 1) sorted by relevance
208 task_id_token_t task_token; in exception_deliver() local389 kr = task_create_identity_token(task, &task_token); in exception_deliver()397 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()434 kr = task_create_identity_token(task, &task_token); in exception_deliver()444 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()