TIMEOUT_8051_START 6570 drivers/infiniband/hw/hfi1/chip.c 	if (wait_fm_ready(dd, TIMEOUT_8051_START))
TIMEOUT_8051_START 1049 drivers/infiniband/hw/hfi1/firmware.c 	ret = wait_fm_ready(dd, TIMEOUT_8051_START);