rxe_cache_clean   159 drivers/infiniband/sw/rxe/rxe_pool.c 	rxe_cache_clean(i);
rxe_cache_clean   166 drivers/infiniband/sw/rxe/rxe_pool.c 	rxe_cache_clean(RXE_NUM_TYPES);