NITIO_SW_SAVE_REG
val = ni_tio_read(counter, NITIO_SW_SAVE_REG(cidx));
if (val != ni_tio_read(counter, NITIO_SW_SAVE_REG(cidx)))