RCV_AVAIL_TIME_OUT_TIME_OUT_RELOAD_SHIFT 11801 drivers/infiniband/hw/hfi1/chip.c 			RCV_AVAIL_TIME_OUT_TIME_OUT_RELOAD_SHIFT);
RCV_AVAIL_TIME_OUT_TIME_OUT_RELOAD_SHIFT 12050 drivers/infiniband/hw/hfi1/chip.c 				RCV_AVAIL_TIME_OUT_TIME_OUT_RELOAD_SHIFT);