TAVOR_PERFCNTR64_NUM_COUNTERS
KSTAT_TYPE_NAMED, TAVOR_PERFCNTR64_NUM_COUNTERS,
for (i = 0; i < TAVOR_PERFCNTR64_NUM_COUNTERS; i++)
i < TAVOR_PERFCNTR64_NUM_COUNTERS; i++) {
for (i = 1; i < TAVOR_PERFCNTR64_NUM_COUNTERS; i++)
uint64_t tki64_counters[TAVOR_PERFCNTR64_NUM_COUNTERS];
uint32_t tki64_last_read[TAVOR_PERFCNTR64_NUM_COUNTERS];