997 	switch (tp->t_state) {  in tcp_input_with_port()
1023 	if ((tp->t_port != port) && (tp->t_state > TCPS_LISTEN)) {  in tcp_input_with_port()
1047 	KASSERT(tp->t_state == TCPS_LISTEN || !SOLISTENING(so),  in tcp_input_with_port()
1049 	if (tp->t_state == TCPS_LISTEN && SOLISTENING(so)) {  in tcp_input_with_port()
1157 			KASSERT(tp->t_state == TCPS_SYN_RECEIVED,  in tcp_input_with_port()
1544 	KASSERT(tp->t_state > TCPS_LISTEN, ("%s: TCPS_LISTEN",  in tcp_do_segment()
1546 	KASSERT(tp->t_state != TCPS_TIME_WAIT, ("%s: TCPS_TIME_WAIT",  in tcp_do_segment()
1570 	if ((tp->t_state == TCPS_SYN_SENT) && (thflags & TH_ACK) &&  in tcp_do_segment()
1648 	if (tp->t_state == TCPS_SYN_SENT && (thflags & TH_SYN)) {  in tcp_do_segment()
1758 	if (tp->t_state == TCPS_ESTABLISHED &&  in tcp_do_segment()
1975 	switch (tp->t_state) {  in tcp_do_segment()
2176 			KASSERT(tp->t_state != TCPS_SYN_SENT,  in tcp_do_segment()
2184 				switch (tp->t_state) {  in tcp_do_segment()
2214 	if ((thflags & TH_SYN) && tp->t_state != TCPS_SYN_SENT &&  in tcp_do_segment()
2215 	    tp->t_state != TCPS_SYN_RECEIVED) {  in tcp_do_segment()
2268 	if (tp->t_state == TCPS_SYN_RECEIVED && SEQ_LT(th->th_seq, tp->irs)) {  in tcp_do_segment()
2338 	    TCPS_HAVERCVDFIN(tp->t_state) == 0) {  in tcp_do_segment()
2343 			    s, __func__, tcpstates[tp->t_state], tlen);  in tcp_do_segment()
2415 		if (tp->t_state == TCPS_SYN_RECEIVED ||  in tcp_do_segment()
2417 			if (tp->t_state == TCPS_SYN_RECEIVED &&  in tcp_do_segment()
2468 	switch (tp->t_state) {  in tcp_do_segment()
2593 				    (TCPS_HAVERCVDFIN(tp->t_state) == 0)) {  in tcp_do_segment()
2998 		if ((tp->t_state <= TCPS_CLOSE_WAIT &&  in tcp_do_segment()
3068 		switch (tp->t_state) {  in tcp_do_segment()
3151 	    TCPS_HAVERCVDFIN(tp->t_state) == 0) {  in tcp_do_segment()
3220 	tfo_syn = ((tp->t_state == TCPS_SYN_RECEIVED) &&  in tcp_do_segment()
3223 	    TCPS_HAVERCVDFIN(tp->t_state) == 0) {  in tcp_do_segment()
3242 		    (TCPS_HAVEESTABLISHED(tp->t_state) ||  in tcp_do_segment()
3281 		    TCPS_HAVEESTABLISHED(tp->t_state)) {  in tcp_do_segment()
3334 					    tcpstates[tp->t_state], tlen);  in tcp_do_segment()
3341 					    tcpstates[tp->t_state], tlen);  in tcp_do_segment()
3350 					    tcpstates[tp->t_state]);  in tcp_do_segment()
3364 		if (TCPS_HAVERCVDFIN(tp->t_state) == 0) {  in tcp_do_segment()
3380 		switch (tp->t_state) {  in tcp_do_segment()
3444 	if (tp->t_state == TCPS_SYN_RECEIVED && (thflags & TH_ACK) &&  in tcp_do_segment()