rxe_net_exit      369 drivers/infiniband/sw/rxe/rxe.c 	rxe_net_exit();
rxe_net_exit      693 drivers/infiniband/sw/rxe/rxe_net.c 	rxe_net_exit();
rxe_net_exit       49 drivers/infiniband/sw/rxe/rxe_net.h void rxe_net_exit(void);