Searched refs:old_rdport (Results 1 – 1 of 1) sorted by relevance
654 ipc_port_t old_rdport; in ipc_task_reset() local682 old_rdport = task->itk_task_ports[TASK_FLAVOR_READ]; in ipc_task_reset()790 if (old_rdport != IP_NULL) { in ipc_task_reset()792 ipc_kobject_dealloc_port(old_rdport, 0, IKOT_TASK_READ); in ipc_task_reset()1143 ipc_port_t old_rdport; in ipc_thread_reset() local1173 old_rdport = tro->tro_ports[THREAD_FLAVOR_READ]; in ipc_thread_reset()1212 if (old_rdport != IP_NULL) { in ipc_thread_reset()1214 (void)ipc_kobject_disable(old_rdport, IKOT_THREAD_READ); in ipc_thread_reset()1262 if (old_rdport != IP_NULL) { in ipc_thread_reset()1263 ipc_kobject_dealloc_port(old_rdport, 0, IKOT_THREAD_READ); in ipc_thread_reset()