TCPS_LISTEN
KASSERT(tp->t_state == TCPS_LISTEN);
KASSERT(tp->t_state != TCPS_LISTEN);
KASSERT(tp->t_state != TCPS_LISTEN &&
if (sav == NULL && tp->t_state == TCPS_LISTEN)
tb.t_state = TCPS_LISTEN;
case TCPS_LISTEN:
tp->t_state = TCPS_LISTEN;
(kp->ki_tstate > TCPS_LISTEN) ||
if (kp->ki_tstate == TCPS_LISTEN)