SFXGE_PACKET_TYPE_IPV4_TCP
ASSERT(pkt_type == SFXGE_PACKET_TYPE_IPV4_TCP);
pkt_type = SFXGE_PACKET_TYPE_IPV4_TCP;
if (pkt_type != SFXGE_PACKET_TYPE_IPV4_TCP ||