TCPS_TERMINATING
KASSERT(tp->t_state != TCPS_TERMINATING, ("tcpcb was terminated"));
tp->t_state = TCPS_TERMINATING;
for (s = TCPS_TERMINATING + 1; s < TCP_NSTATES; ++s) {