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;