Symbol: rxe_net_exit
drivers/infiniband/sw/rxe/rxe.c
297
rxe_net_exit();
drivers/infiniband/sw/rxe/rxe_net.h
19
void rxe_net_exit(void);