Symbol: TIMEOUT_8051_START
drivers/infiniband/hw/hfi1/chip.c
6549
if (wait_fm_ready(dd, TIMEOUT_8051_START))
drivers/infiniband/hw/hfi1/firmware.c
1006
ret = wait_fm_ready(dd, TIMEOUT_8051_START);