NUM_MAX_COUNTERS
uint64_t *event_p, uint64_t values[NUM_MAX_COUNTERS])
uint64_t counters[NUM_MAX_COUNTERS];
uint8_t pic_sel_shift[NUM_MAX_COUNTERS];
kstat_t *pic_name_ksp[NUM_MAX_COUNTERS];
for (i = 0; i < NUM_MAX_COUNTERS; i++) {
uint64_t *event_p, uint64_t values[NUM_MAX_COUNTERS]);