OCRDMA_DEVICE_FATAL_EVENT 749 drivers/infiniband/hw/ocrdma/ocrdma_hw.c case OCRDMA_DEVICE_FATAL_EVENT: OCRDMA_DEVICE_FATAL_EVENT 529 drivers/infiniband/hw/ocrdma/ocrdma_stats.c [OCRDMA_DEVICE_FATAL_EVENT].counter);