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);