TAVOR_CNTR_NUMENTRIES
TAVOR_CNTR_NUMENTRIES, tavor_ib_perfcnt_list);
for (i = 0; i < TAVOR_CNTR_NUMENTRIES; i++) {
tavor_ks_mask_t tavor_ib_perfcnt_list[TAVOR_CNTR_NUMENTRIES] = {
tavor_ks_mask_t tki_ib_perfcnt[TAVOR_CNTR_NUMENTRIES];