TLB_COUNT
for (i = 0; i < TLB_COUNT; i++) {
read_TLB(TLB_COUNT - 1, tlb, pid);
i = TLB_COUNT - 1; // last one