Symbol: ocrdma_dispatch_port_error
drivers/infiniband/hw/ocrdma/ocrdma_main.c
364
ocrdma_dispatch_port_error(dev);
drivers/infiniband/hw/ocrdma/ocrdma_main.c
392
ocrdma_dispatch_port_error(dev);