ocrdma_release_stats_resources  299 drivers/infiniband/hw/ocrdma/ocrdma_main.c 	ocrdma_release_stats_resources(dev);
ocrdma_release_stats_resources   69 drivers/infiniband/hw/ocrdma/ocrdma_stats.h void ocrdma_release_stats_resources(struct ocrdma_dev *dev);