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,