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