rxe_queue_reset   524 drivers/infiniband/sw/rxe/rxe_qp.c 		rxe_queue_reset(qp->sq.queue);
rxe_queue_reset    83 drivers/infiniband/sw/rxe/rxe_queue.h void rxe_queue_reset(struct rxe_queue *q);