soisdisconnected
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(unp2->unp_socket);
soisdisconnected(msg->base.nm_so);
soisdisconnected(so);
soisdisconnected(msg->abort.base.nm_so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(dpcbp->ng_socket);
soisdisconnected(pcbp->ng_socket);
soisdisconnected(so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb1->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(so);
soisdisconnected(pcb->so);
soisdisconnected(pcb->so);
soisdisconnected(so);
soisdisconnected(dpcbp->ng_socket);
soisdisconnected(pcbp->ng_socket);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(so);
soisdisconnected(tp->t_inpcb->inp_socket);
soisdisconnected(so);
soisdisconnected(msg->abort.base.nm_so);
soisdisconnected(so);
void soisdisconnected (struct socket *so);
soisdisconnected(fip->fi_writesock);
soisdisconnected(fip->fi_readsock);
soisdisconnected(fip->fi_writesock);
soisdisconnected(fip->fi_readsock);