rxe_responder     237 drivers/infiniband/sw/rxe/rxe_loc.h int rxe_responder(void *arg);
rxe_responder     326 drivers/infiniband/sw/rxe/rxe_qp.c 		      rxe_responder, "resp");