dc8051_timed_out 8699 drivers/infiniband/hw/hfi1/chip.c 	if (dd->dc8051_timed_out) {
dc8051_timed_out 8700 drivers/infiniband/hw/hfi1/chip.c 		if (dd->dc8051_timed_out > 1) {
dc8051_timed_out 8759 drivers/infiniband/hw/hfi1/chip.c 			dd->dc8051_timed_out++;
dc8051_timed_out 8782 drivers/infiniband/hw/hfi1/chip.c 	dd->dc8051_timed_out = 0;
dc8051_timed_out 1187 drivers/infiniband/hw/hfi1/hfi.h 	int dc8051_timed_out;	/* remember if the 8051 timed out */