RCV_COUNTER_ARRAY64 1233 drivers/infiniband/hw/hfi1/chip.c (counter * 8 + RCV_COUNTER_ARRAY64), \ RCV_COUNTER_ARRAY64 1239 drivers/infiniband/hw/hfi1/chip.c (counter * 8 + RCV_COUNTER_ARRAY64), \ RCV_COUNTER_ARRAY64 13797 drivers/infiniband/hw/hfi1/chip.c write_csr(dd, RCV_COUNTER_ARRAY64 + (8 * i), 0);