SEQ32_GE 733 drivers/infiniband/hw/cxgb3/cxio_hal.c SEQ32_GE(rdev_p->ctrl_qp.rptr, SEQ32_GE 758 drivers/infiniband/hw/cxgb3/cxio_hal.c SEQ32_GE(rdev_p->ctrl_qp.rptr,