Symbol: ocrdma_free_resources
drivers/infiniband/hw/ocrdma/ocrdma_main.c
310
ocrdma_free_resources(dev);
drivers/infiniband/hw/ocrdma/ocrdma_main.c
335
ocrdma_free_resources(dev);