RCV_COUNTER_ARRAY32 1220 drivers/infiniband/hw/hfi1/chip.c 	  (counter * 8 + RCV_COUNTER_ARRAY32), \
RCV_COUNTER_ARRAY32 1226 drivers/infiniband/hw/hfi1/chip.c 	  (counter * 8 + RCV_COUNTER_ARRAY32), \
RCV_COUNTER_ARRAY32 13795 drivers/infiniband/hw/hfi1/chip.c 		write_csr(dd, RCV_COUNTER_ARRAY32 + (8 * i), 0);