EXECUTE 1238 drivers/infiniband/hw/hfi1/firmware.c SBUS_COUNTER(counts, EXECUTE))) EXECUTE 1654 drivers/infiniband/hw/hfi1/firmware.c while (SBUS_COUNTER(reg, EXECUTE) !=