tlb1_read_entry
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, i);
tlb1_read_entry(e, i);
tlb1_read_entry(&e, i);
static void tlb1_read_entry(tlb_entry_t *, unsigned int);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, j);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, index);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, i);
tlb1_read_entry(&e, i);
tlb1_read_entry(&tmp, i);