DEFAULT_FW_8051_NAME_ASIC 72 drivers/infiniband/hw/hfi1/firmware.c MODULE_FIRMWARE(DEFAULT_FW_8051_NAME_ASIC); DEFAULT_FW_8051_NAME_ASIC 1717 drivers/infiniband/hw/hfi1/firmware.c fw_8051_name = DEFAULT_FW_8051_NAME_ASIC;