Searched refs:task_token (Results 1 – 1 of 1) sorted by relevance
209 task_id_token_t task_token; in exception_deliver() local390 kr = task_create_identity_token(task, &task_token); in exception_deliver()398 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()435 kr = task_create_identity_token(task, &task_token); in exception_deliver()445 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()