Symbol: rxe_namespace_exit
drivers/infiniband/sw/rxe/rxe.c
287
rxe_namespace_exit();
drivers/infiniband/sw/rxe/rxe.c
300
rxe_namespace_exit();
drivers/infiniband/sw/rxe/rxe_ns.h
24
void rxe_namespace_exit(void);