tcp_disconnect1
(void)tcp_disconnect1(tp);
tp = tcp_disconnect1(tp);
tcp_disconnect1(struct tcpcb *);