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