tcp_seq_num       787 drivers/infiniband/hw/i40iw/i40iw_uk.c 	info->tcp_seq_num = (u32)RS_64(qword0, I40IWCQ_TCPSEQNUM);
tcp_seq_num       267 drivers/infiniband/hw/i40iw/i40iw_user.h 	u32 tcp_seq_num;