SEND_COUNTER_ARRAY64
(counter * 8 + SEND_COUNTER_ARRAY64), \
counter * 8 + SEND_COUNTER_ARRAY64, \
write_csr(dd, SEND_COUNTER_ARRAY64 + (8 * i), 0);