Searched refs:task_token (Results 1 – 1 of 1) sorted by relevance
215 task_id_token_t task_token; in exception_deliver() local384 kr = task_create_identity_token(task, &task_token); in exception_deliver()387 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()