Searched refs:task_token_port (Results 1 – 1 of 1) sorted by relevance
212 task_token_port = IPC_PORT_NULL; in exception_deliver() local398 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()404 task_token_port, in exception_deliver()445 task_token_port = convert_task_id_token_to_port(task_token); in exception_deliver()464 task_token_port, in exception_deliver()587 if (task_token_port) { in exception_deliver()588 ipc_port_release_send(task_token_port); in exception_deliver()