ocrdma_free_resources 356 drivers/infiniband/hw/ocrdma/ocrdma_main.c ocrdma_free_resources(dev); ocrdma_free_resources 381 drivers/infiniband/hw/ocrdma/ocrdma_main.c ocrdma_free_resources(dev);