TCPS_HAVERCVDFIN
TCPS_HAVERCVDFIN(tp->t_state) == 0) {
(TCPS_HAVERCVDFIN(tp->t_state) == 0)) {
TCPS_HAVERCVDFIN(tp->t_state) == 0) {
TCPS_HAVERCVDFIN(tp->t_state) == 0) {
if (TCPS_HAVERCVDFIN(tp->t_state) == 0) {
!TCPS_HAVERCVDFIN(tp->t_state)) {
!TCPS_HAVERCVDFIN(tp->t_state)) {
TCPS_HAVERCVDFIN(tp->t_state) == 0) {
if (TCPS_HAVERCVDFIN(tp->t_state) == 0) {
TCPS_HAVERCVDFIN(tp->t_state) == 0) {
if (TCPS_HAVERCVDFIN(tp->t_state) == 0) {
!TCPS_HAVERCVDFIN(tp->t_state)) {
TCPS_HAVERCVDFIN(ssk->state)) {
if (TCPS_HAVERCVDFIN(ssk->state) == 0)