RECOVERY         1437 drivers/infiniband/hw/cxgb4/device.c 	ctx->dev->db_state = RECOVERY;
RECOVERY         1464 drivers/infiniband/hw/cxgb4/device.c 	WARN_ON(ctx->dev->db_state != RECOVERY);