TCP_REASS_SEQ
u1 = TCP_REASS_SEQ(mp1);
u1 = TCP_REASS_SEQ(mp2);
if (TCP_REASS_SEQ(mp1) != tcp->tcp_rnxt)
if (end != TCP_REASS_SEQ(mp)) {
u1 = TCP_REASS_SEQ(mp1);
u1 = TCP_REASS_SEQ(mp1);
u1 = TCP_REASS_SEQ(mp2);
if (TCP_REASS_SEQ(mp1) != tcp->tcp_rnxt)
if (end != TCP_REASS_SEQ(mp)) {
u1 = TCP_REASS_SEQ(mp1);