rxe_cache_exit    370 drivers/infiniband/sw/rxe/rxe.c 	rxe_cache_exit();
rxe_cache_exit    120 drivers/infiniband/sw/rxe/rxe_pool.h void rxe_cache_exit(void);