record_idx       1775 drivers/infiniband/hw/hfi1/firmware.c 	u32 record_idx = 0, table_type = 0, table_length_dwords = 0;
record_idx       1843 drivers/infiniband/hw/hfi1/firmware.c 		record_idx = *ptr &
record_idx       1856 drivers/infiniband/hw/hfi1/firmware.c 		if (record_idx) {