Lines Matching refs:dest_port
822 ipc_port_t dest_port;
828 dest_port = (ipc_port_t)msg->msgh_remote_port;
837 if (IP_PREALLOC(dest_port)) {
838 ip_lock(dest_port);
839 if (!ip_active(dest_port)) {
840 ip_unlock(dest_port);
843 assert(IP_PREALLOC(dest_port));
844 kmsg = dest_port->ip_premsg;
846 ip_unlock(dest_port);
850 ip_unlock(dest_port);
853 ikm_prealloc_set_inuse(kmsg, dest_port);
854 ip_unlock(dest_port);
1087 ipc_object_t dest_port, reply_port;
1192 &dest_port, &dest_soright);
1206 assert(IO_VALID(dest_port));
1215 assert(reply_port == dest_port);
1227 &dest_port, &dest_soright);
1241 ipc_port_copy_send((ipc_port_t) dest_port);
1252 &dest_port, &dest_soright);
1260 reply_port = dest_port;
1277 &dest_port, &soright);
1293 ipc_port_copy_send((ipc_port_t) dest_port);
1315 &dest_port, &dest_soright);
1332 * At the time we copyin dest_port, it must be alive.
1336 * Then if dest_port dies/died after reply_port died,
1338 * of the two ports. So the bad case is when dest_port
1340 * copyin, and dest_port dies before reply_port. Then
1341 * the copyins operated as if dest_port was alive
1356 * dest_port and reply_port might still be the same.
1381 &dest_port, &dest_soright);
1385 assert(IO_VALID(dest_port));
1403 * At this point, dest_port, reply_port,
1411 * dest_port or reply_port.
1433 msg->msgh_remote_port = (ipc_port_t)dest_port;