DMC620_COUNTERS_N
for (i = 0; i < DMC620_COUNTERS_N; i++) {
for (i = 0; i < DMC620_COUNTERS_N; i++) {
uint32_t sc_saved_control[DMC620_COUNTERS_N];
KASSERT(cntr < DMC620_COUNTERS_N, ("Wrong counter unit %d", cntr));
KASSERT(cntr < DMC620_COUNTERS_N, ("Wrong counter unit %d", cntr));