382 	return state == ESTABLISHED || state == FINISH_RECEIVED;  in is_writable()
632 	} else if (fState == ESTABLISHED) {  in Connect()
664 	if (fState == ESTABLISHED) {  in Connect()
1218 	if (fState == SYNCHRONIZE_RECEIVED || fState == ESTABLISHED)  in _Disconnect()
1241 	fState = ESTABLISHED;  in _MarkEstablished()
1258 	while (fState < ESTABLISHED/* && fState != CLOSED*/) {  in _WaitForEstablished()
1541 	return fState == ESTABLISHED || fState == FINISH_SENT  in _ShouldReceive()
1676 	if (fState == ESTABLISHED  in _Receive()
1860 					&& fState > ESTABLISHED) {  in _Receive()
1893 		if (fState == ESTABLISHED || fState == FINISH_SENT  in _Receive()
1933 				case ESTABLISHED:  in _Receive()
1997 		case ESTABLISHED:  in SegmentReceived()
2054 		case ESTABLISHED:  in _PrepareSendSegment()
2174 	if (segmentLength != 0 && fState == ESTABLISHED)  in _PrepareAndSend()
2196 	if (fState == ESTABLISHED && fSendMaxSegments == 0)  in _ShouldSendSegment()
2250 	if (!force && fState == ESTABLISHED  in _SendAcknowledge()
2268 	if (fRoute == NULL || fState < ESTABLISHED)  in _SendQueued()
2521 	if (fState < ESTABLISHED) {  in _Retransmit()