NITIO_GATE2_REG
NITIO_GATE2_REG(counter->counter_index));
NITIO_GATE2_REG(counter->counter_index)));
counter_dev->regs[chip][NITIO_GATE2_REG(cidx)] = 0x0;
ni_tio_write(counter, 0x0, NITIO_GATE2_REG(cidx));
unsigned int second_gate_reg = NITIO_GATE2_REG(cidx);
unsigned int second_gate_reg = NITIO_GATE2_REG(cidx);
ni_tio_set_bits(counter, NITIO_GATE2_REG(counter->counter_index),
ni_tio_set_bits(counter, NITIO_GATE2_REG(counter->counter_index),