TCPS_HAVERCVDFIN
!TCPS_HAVERCVDFIN(tp->t_state)) {
if ((tlen || (thflags & TH_FIN)) && !TCPS_HAVERCVDFIN(tp->t_state)) {
if (!TCPS_HAVERCVDFIN(tp->t_state)) {