consumer_addr     145 drivers/infiniband/sw/rxe/rxe_queue.c 		memcpy(producer_addr(new_q), consumer_addr(q),
consumer_addr     171 drivers/infiniband/sw/rxe/rxe_queue.h 	return queue_empty(q) ? NULL : consumer_addr(q);