EXTERNAL_DEVICE_REQ_TIMEOUT 1004 drivers/infiniband/hw/hfi1/chip.c 		    EXTERNAL_DEVICE_REQ_TIMEOUT),
EXTERNAL_DEVICE_REQ_TIMEOUT  287 drivers/infiniband/hw/hfi1/chip.h 			| EXTERNAL_DEVICE_REQ_TIMEOUT)