IMGU_ABI_BUF_SETS_TNR
u32 buffer_frame_counter[IMGU_ABI_BUF_SETS_TNR];
for (i = 0; i < IMGU_ABI_BUF_SETS_TNR; i++)