DEFAULT_FW_PCIE_NAME   75 drivers/infiniband/hw/hfi1/firmware.c MODULE_FIRMWARE(DEFAULT_FW_PCIE_NAME);
DEFAULT_FW_PCIE_NAME 1726 drivers/infiniband/hw/hfi1/firmware.c 		fw_pcie_serdes_name = DEFAULT_FW_PCIE_NAME;