HERMON_PERFCNTR64_NUM_COUNTERS
KSTAT_TYPE_NAMED, HERMON_PERFCNTR64_NUM_COUNTERS,
for (i = 0; i < HERMON_PERFCNTR64_NUM_COUNTERS; i++)
i < HERMON_PERFCNTR64_NUM_COUNTERS; i++) {
for (i = 1; i < HERMON_PERFCNTR64_NUM_COUNTERS; i++)
uint64_t hki64_counters[HERMON_PERFCNTR64_NUM_COUNTERS];
uint32_t hki64_last_read[HERMON_PERFCNTR64_NUM_COUNTERS];