MT_WTBL4_SIZE
return base + idx * MT_WTBL4_SIZE;
for (i = 0; i < MT_WTBL4_SIZE; i += 4)
int wtbl4_frame_size = MT_PSE_PAGE_SIZE / MT_WTBL4_SIZE;