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;