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) !=