SEND_COUNTER_ARRAY64 1259 drivers/infiniband/hw/hfi1/chip.c 	  (counter * 8 + SEND_COUNTER_ARRAY64), \
SEND_COUNTER_ARRAY64 1265 drivers/infiniband/hw/hfi1/chip.c 	  counter * 8 + SEND_COUNTER_ARRAY64, \
SEND_COUNTER_ARRAY64 13632 drivers/infiniband/hw/hfi1/chip.c 		write_csr(dd, SEND_COUNTER_ARRAY64 + (8 * i), 0);