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