mask_for_index
u64 enc, val, mask = mask_for_index(idx);
u64 mask = mask_for_index(idx);
cpuc->pcr[0] &= ~mask_for_index(idx);