TAVOR_CNTR_MASK
~((uint64_t)TAVOR_CNTR_MASK << (num_pic * TAVOR_CNTR_SIZE));
indx = pcr & TAVOR_CNTR_MASK;